2017-07-05 - production
14:40	<moritzm>	rebooting restbase1012 for kernel update	[production]