2020-01-13 - production
11:57	<jdrewniak@deploy1001>	Synchronized portals/wikipedia.org/assets: Wikimedia Portals Update: [[gerrit:558017| Bumping portals to master (563985)]] (duration: 00m 55s)	[production]