mirror of
				https://github.com/zulip/zulip.git
				synced 2025-11-03 21:43:21 +00:00 
			
		
		
		
	This makes it easy to uniquely identify the user account associated with a notification by, for example, the (realm_uri, user_id) pair. This helps improve notifications in the mobile apps. See https://github.com/zulip/zulip-mobile/pull/3407#discussion_r266196616 Fixes #11961.