Server status

The server maintenance of 2017-01-14+48hours has been completed. The maintenance consisted of moving and from to

The DNS TTL is set to 24 hours, so it may take a while for the switch-over to become visible to some users; in the mean time repo and repomirror will still work, they will just be slightly outdated.