2018-02-14 - production
11:14	<filippo@tin>	Synchronized wmf-config/ProductionServices.php: repool poolcounter1002 after disk replacement (duration: 01m 12s)	[production]