2020-10-14 - releng
18:12	<dpifke>	Cherry-picking https://gerrit.wikimedia.org/r/c/operations/mediawiki-config/+/634058 in beta	[releng]