Mateusz Mandera ade2225f08 zilencer: Avoid creating duplicate remote push registrations. ...

Servers that had upgraded from a Zulip server version that did not yet
support the user_uuid field to one that did could end up with some
mobile devices having two push notifications registrations, one with a
user_id and the other with a user_uuid.

Fix this issue by sending both user_id and user_uuid, and clearing

2023-04-13 15:17:20 -07:00

44 KiB

Raw Blame History

View Raw