2019-10-14 - production
10:35	<jdrewniak@deploy1001>	Synchronized portals: Wikimedia Portals Update: [[gerrit:542893| Bumping portals to master (T128546)]] (duration: 00m 51s)	[production]