April 18, 2013
3:43 p.m.
On Apr 18, 2013, at 3:01 PM, Marcus Denker <marcus.denker@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