Esto ya está fusionado. Si las notificaciones push dejan de funcionar después de un tiempo, por favor reporta un bug.