2018-06-28 - tools
16:40	<andrewbogott>	rebooting tools-worker-1012 and tools-worker-1015 to get their nfs mounts unstuck	[tools]