2019-03-29 - tools
17:16	<andrewbogott>	aborted move of tools-static-12; will wait until tomorrow and give DNS caches more time to update	[tools]