2017-04-18 - tools
04:23	<bd808>	Shutdown tools-docker-builder-04; will wait a bit before deleting	[tools]