2017-10-04 - production
09:16 <marostegui> Reboot db1087 to pick up new kernel [production]