Off-schedule server maintenance window, Monday 17th December

Due to some important CentOS security updates being released after our previous maintenance window closed, and considering the impending winter break, we will be holding an off-schedule maintenance day on Monday December 17th, between 8am and 12pm.
The following services may experience interruptions during this window:
If you rely on these machines/services, you may experience an interruption in service during and after the maintenance window.
The next maintenance window will be Monday 7th January.