2018-11-14 - production
16:08	<moritzm>	rebooting restbase-dev1005 for kernel security update and OpenJDK security update	[production]