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