Yup, it got fixed on some devices, but the Nexus 5, for example, never got the fix.

This leads to the problem that you, as a dev, either have to leave a huge amount of users without working push notifications, or use GCM anyway.