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