2019-09-12 - tools
20:48	<phamhi>	Deleted tools-puppetdb-01.tools as it is no longer in used	[tools]