2019-05-03 - analytics
07:14	<joal>	Restarting mediawiki-history-check_denormalize-coord with missing parameter (patch provided to prevent the coord to start without it)	[analytics]