2020-10-09 - production
08:22	<marostegui>	Restart dbstore1005 mysql to pick up new buffer pool sizes	[production]