2018-03-27 - releng
03:10	<legoktm>	deleted mediawiki-core-code-coverage* workspaces to work around git/gerrit issue and retriggered jobs	[releng]