2016-02-09 - releng
16:06	<bd808>	Deleted corrupt integration-slave-precise-1003:/mnt/jenkins-workspace/workspace/mediawiki-core-php53lint/.git	[releng]