2018-12-05 - production
12:30	<jdrewniak@deploy1001>	Synchronized portals: Wikimedia Portals Update: [[gerrit:477768| Bumping portals to master (T202497)]] (duration: 00m 46s)	[production]