Wie ich sehe existieren vier Geräte im System:
Nexus 7 und Desire S für User ID 763,
Nexus 7 und Desire S für User ID 761
Beide Gerätepaare haben von Google die selben IDs für den Push bekommen. Mir bleibt das insofern ein Rätsel, weil das nur möglich ist, wenn es sich um ein und das selbe Gerät handelt. Ich kann - außer das falsche Gerätepaar zu entfernen - erstmal nichts tun, werde aber mal bei Google nachsehen, ob das Problem öfter auftritt.
Ein Fehler bei PushNotifier ist jedenfalls ausgeschlossen, da die Kommunikation über die Google-Kanäle mit deren IDs läuft.