DAMTP Computing News
1716) 19/10/12 Linux Computer Reboots [REBOOT]
SUMMARY: The linux computers will be rebooting in the early hours of Wednesday 31 October to apply a kernel security update.
Any computers rebooted between late last week and the above date will not need to reboot again.