2018-12-05 - production
10:46	<marostegui>	Reboot db1090 for kernel upgrade	[production]