2018-12-14 - production
07:49	<marostegui@deploy1001>	Synchronized wmf-config/db-codfw.php: Depool db2084 and db2088 for mysql and kernel upgrade (duration: 00m 45s)	[production]