2018-02-26 - tools
10:23	<arturo>	disable puppet in tools-proxy-01 for apt pinning tests	[tools]