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