2017-12-04 - production
11:06	<jdrewniak@tin>	Synchronized portals: Wikimedia Portals Update: [[gerrit:394964|Bumping portals to master (T128546)]] (duration: 00m 45s)	[production]