2018-02-13 - production
09:12	<marostegui@tin>	Synchronized wmf-config/db-codfw.php: Repool db2084:3315, depool db2075 (duration: 00m 55s)	[production]