Hornwitser 52dfde95d1 Tie push subscriptions to current session ... If a user logs out from a device the expectation should be that device no longer having any association with the user's account. Any existing push notifications should thefore be removed on server. For this reason tie push notifications to a session, and remove them when the session is deleted.		2025-03-07 15:47:48 +01:00
..
types	Tie push subscriptions to current session	2025-03-07 15:47:48 +01:00