2019-05-21 - releng
07:10	<legoktm>	manually rebuilding mediawiki-core-code-coverage-docker with 5 hour timeout	[releng]