2018-10-02 - releng
16:45	<thcipriani>	bring integration-slave-docker-1037 back online after rm -rf /srv/jenkins-workspace/workspace/*	[releng]