2023-02-13 - devtools
22:03	<mutante>	- re-activating disabled puppet on gerrit-prod-1001 (reason given was 'gerrit deploy' but it was about 17 days ago)	[devtools]