2019-06-13 - releng
21:43	<James_F>	Updated JJB job mediawiki-phpunit-coverage-patch-docker to point to quibble-coverage	[releng]