Server NC031 was down for maintenance between 07:00 and 07:19, and has been successfully updated with current patches. This phase of the maintenance protects against Meltdown; further maintenance for protection against Spectre will take place when patches for it have been developed.
Updates will be posted here.