On 05 Mar 2015, at 10:27, Marcus Denker <marcus.denker@inria.fr> wrote:

Hello,

We will switch the DNS entry from an A type to a CNAME that points to a different server (for caching)
this afternoon at 1pm local time.

It should all continue to work (and hopefully faster)