2020-10-27 - production
20:13	<mutante>	gerrit1001/gerrit2001: manually deleting list_mediawiki_extensions cron job (T266024)	[production]