On Apr 18, 2013, at 3:01 PM, Marcus Denker <marcus.den...@inria.fr> wrote:
> Hi,
>
> We will change the DNS to a new server.
>
> This should be transparent, but of course we never know…
>
> Stages:
>
> 1) Change DNS to point to new server of (TODAY)
> files.pharo.org
> get.pharo.org
> updates.pharo.org
>
Success! DNS has propagated (at least to here) and it works.
I should be more reliable and faster.
Marcus
