2020-07-09 - production
11:50	<moritzm>	rebooting debmonitor1001 for kernel update	[production]