2017-07-17 - ores
15:42	<halfak>	deleting ores-web-04 (intermittent puppet issues and wasn't pooled anyway)	[ores]