2018-02-12 - production
08:36	<marostegui>	Reboot db1087 to pick new kernel	[production]