Es gab hier schonmal verschieden Berichte davon, aber seid längerer Zeit scheint das stabil zu sein.
Interessant in diesem Zusammenhang wäre immer auch, war das betreffende Gerät im WLAN oder mobil online. Das wäre schonmal der erste Schritt.
Dann kann es sein, dass bestimmte Smartphone Einstellungen den Empfang verzögern. War an den betreffenden Geräten ein Ruhezustand oder eine Energiespareinstellung akiv?
Ich konnte bei mir auch beobachten, dass bei zu geringen freiem internen Speicher kein Push mehr erfolgt.

Du siehst da sind viele Faktoren und das sind nur Beispiele. Eine genaue Analyse der Situationen ist für eine Lösung des Problems besonders wichtig. Vielleicht kannst du da was in Erfahrung bringen oder die Kameraden mal sensibilisieren darauf zu achten, wenn es wieder vorkommen sollte.