2016-10-31 - production
10:40	<jmm@tin>	Synchronized wmf-config/ProductionServices.php: disabled poolcounter1001 for maintenance (duration: 00m 47s)	[production]