2020-11-04 - releng
17:43	<dpifke>	Cherry-picking https://gerrit.wikimedia.org/r/c/operations/puppet/+/639216 in beta.	[releng]