2018-08-09 - production
09:42	<moritzm>	rebooting pollux for kernel security update	[production]