Hi,

stat1002 and stat1003 need a reboot to get updated Linux kernels. I'm planning to start tomorrow (Wed 27th of Jan) at around 8am UTC.

If someone has a particularly long-running script and needs a reschedule, please let me know. I'll drop a quick note on IRC when the systems are back up.

Cheers,

Moritz