2019-12-16 - production
11:41	<jdrewniak@deploy1001>	Synchronized portals: Wikimedia Portals Update: [[gerrit:558017| Bumping portals to master (T128546)]] (duration: 00m 52s)	[production]