2018-02-12 - production
11:14	<jdrewniak@tin>	Synchronized portals/prod/wikipedia.org/assets: Wikimedia Portals Update: [[gerrit:402805|Bumping portals to master (T128546)]] (duration: 00m 57s)	[production]