2018-09-12 - releng
18:20	<marxarelli>	deleting jenkins node integration-slave-docker-1027 due to insufficient /var/lib/docker space (replaced with 1031 which has dedicated /var/lib/docker volume)	[releng]