2017-07-18 - production
10:33	<moritzm>	rebooting oresrdb1002 for kernel update	[production]