Rebooting all servers – 15 and 16 November

We are progressively rebooting all servers today to upgrade Linux kernels and install system updates. We are doing this to update recently released security patches and to address critical bug in a recent MariabDB server release. Maintenance window: November 15 to 16, 22:00 to 04:00 UTC. Downtime should be no more than a few minutes per server.