Isso já foi mesclado. Se as notificações push pararem de funcionar daqui para frente, por favor, reporte um bug.