2016-10-31 - production
11:03	<jmm@tin>	Synchronized wmf-config/ProductionServices.php: Reenabled poolcounter1001 after maintenance (duration: 00m 45s)	[production]