2018-02-19 - production
11:07	<jdrewniak@tin>	Synchronized portals: Wikimedia portals Update: [[gerrit:412657|Bumping portals to master (T128546)]] (duration: 00m 57s)	[production]