2020-10-06 - production
10:01	<marostegui>	Restart mysql on dbstore1004 to pick up new buffer pool sizes	[production]