mirror of
				https://github.com/zulip/zulip.git
				synced 2025-11-03 21:43:21 +00:00 
			
		
		
		
	Earlier commits removed all uses of page_params.email outside of people.js, and it turns out we have page_params.user_id, so we don't even need page_params.email for seeding the data.