2018-12-20 - production
12:09	<jdrewniak@deploy1001>	Synchronized portals: Wikimedia Portals Update: [[gerrit:478659| Bumping portals to master (T128546, T202497)]] (duration: 00m 52s)	[production]