2018-09-26 - production
10:13	<_joe_>	reenabling puppet on the MediaWiki hosts	[production]