2017-12-02 - production
17:55	<marostegui>	Reboot db1096.s5 to pick up the correct innodb_buffer_pool size after finishing compressing s5 - T178359	[production]