2019-12-09 - production
11:36	<jdrewniak@deploy1001>	Synchronized portals: Wikimedia Portals Update: [[gerrit:555907| Bumping portals to master (T128546)]] (duration: 01m 00s)	[production]