In order to fix an important security vulnerability of the Linux kernel, most of the departmental services have been restarted this morning.
This has now been completed.
