2020-05-07 - devtools
09:05	<mutante>	- puppet fixed on deploy-1002 with https://gerrit.wikimedia.org/r/c/operations/puppet/+/594900	[devtools]