2018-12-10 - production
12:49	<jdrewniak@deploy1001>	Synchronized portals: Wikimedia Portals Update: [[gerrit:478659| Bumping portals to master (T128546)]] (duration: 00m 46s)	[production]