2019-01-24 - tools
09:45	<arturo>	T213418 delete tools-docker-builder-05 and tools-docker-registry-01	[tools]