2018-11-07 - releng
23:00	<thcipriani>	repooling integration-slave-docker-1017 after cleaning up docker images	[releng]