2020-07-14 - production
14:48	<moritzm>	rebooting apt1001 for kernel update	[production]