2020-06-04 - tools.wikibugs
09:43	<wm-bot>	<maurelio> Restarting wikibugs, not listening to gerrit	[tools.wikibugs]