2016-07-03 - tools
13:07	<yuvipanda>	delete tools-bastion-01 which was shut down anyway	[tools]