2018-02-26 - tools
21:18	<bstorm_>	Deleted tools-static-10 and tools-static-11 now that they are replaced with the much smaller 12 and 13 https://phabricator.wikimedia.org/T182604	[tools]