We will perform upgrades to the updater server. It will be down for about 30mn. No impact is expected on the website or other services.
Started We have started the upgrade process. The update server may be up and down over the next 30 mns or so. (10:53 — May 16)
Completed Maintenance is now complete and server has been checked for normal operation.