2018-02-13 - production
10:51	<filippo@tin>	Synchronized wmf-config/ProductionServices.php: depool poolcounter1002 for disk replacement (duration: 00m 56s)	[production]