Reboot on Friday, no consultation hours

This Friday, December 20th, all CIP computers will be rebooted in the afternoon, starting at roughly 5pm.

Additionally, the last consultation hour for this year will be Thursday, December 19th, at 3pm.

-- Sebastian Hahn