2019-06-28 - analytics
20:57	<joal>	Restart mediawiki-history-denormalize-coord, mediawiki-history-check_denormalize-coord, mediawiki-history-reduced-coord	[analytics]