2020-02-06 - production
08:23	<marostegui>	Reboot dbproxy1012 and dbproxy1014 for upgrade	[production]