2019-12-10 - production
09:20	<marostegui>	Restart mysql on dbstore1003, 1004 and 1005 for upgrade	[production]