2017-07-05 - production
13:09	<moritzm>	rebooting restbase1010 for kernel update	[production]