2017-07-05 - production
10:11	<moritzm>	rebooting restbase1007 for kernel update	[production]