2018-10-03 - releng
17:46	<marxarelli>	removing old workspaces on integration-slave-docker-1034 (`rm -rf /srv/jenkins-workspace/workspace/*`) and bringing back online	[releng]