2016-11-26 - releng
15:51	<Reedy>	deleted /srv/jenkins-workspace/workspace/mediawiki-core-code-coverage/src on integration-slave-trusty-1006 to force a reclone	[releng]