2019-06-14 - releng
15:50	<James_F>	Bumped jjb mediawiki-phpunit-coverage-patch-docker	[releng]