2020-07-06 - production
10:28	<moritzm>	rebooting idp1001 for kernel update	[production]