2020-05-10 - production
08:50	<marostegui>	Restart mysql on db1115 to change buffer pool size from 20GB to 40GB T252324 (	[production]