2018-09-26 - releng
15:05	<thcipriani>	integration-slave-docker-1033:sudo rm -rf /srv/jenkins-workspace/workspace/* and bring back online	[releng]