2015-09-30 - tools
07:12	<yuvipanda>	deleted tools-webproxy-01 and -02, running on proxy-01 and -02 now	[tools]