2020-07-21 - releng
21:16	<dpifke>	Cherry-picking https://gerrit.wikimedia.org/r/c/operations/puppet/+/615269 in beta puppet; should only affect deployment-webperf11.	[releng]