2018-03-14 - releng
08:05	<hashar>	Move Jenkins jobs mwext-phpunit-coverage-patch mwext-phpunit-coverage-publish mediawiki-phpunit-coverage-patch to Nodepool (they use too much disk space) | T189365	[releng]