2015-08-26 - releng
16:01	<bd808>	sudo rm -rf integration-slave-precise-1014:/mnt/jenkins-workspace/workspace/mediawiki-core-phplint/.git	[releng]