2017-07-06 - production
11:07	<moritzm>	rebooting restbase1017 for kernel update	[production]