We will perform some maintenance on our DNS servers. During this period the servers will be rebooted one at the time.
The maintenance has been completed. If you notice any issue, don't hesitate to contact our Service Desk.