2020-03-04 - analytics
08:38	<joal>	Kill-restart mediawiki-history-dumps-coord	[analytics]