I have wondering this too if this fix would be available earlier than with next PR. After all, its Linux and thereby in my opinion it shouldn't be difficult to fix such annoying bugs as it has been done in big linux releases with critical updates.