2018-12-14 - production
08:48	<marostegui@deploy1001>	Synchronized wmf-config/db-codfw.php: Repool db2084 and db2088 after mysql and kernel upgrade (duration: 00m 44s)	[production]