2019-02-13 - releng
19:25	<marxarelli>	deleting integration-slave-docker-1017 jenkins node and instance	[releng]