2019-07-05 - production
10:23	<moritzm>	rebooting seaborgium to pick up correct Stretch kernel	[production]