2018-01-11 - tools
20:33	<andrewbogott>	uncordoning tools-worker-1012 and tools-worker-1017	[tools]