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