I did the change. the DNS should now point to

128.93.162.72

On 03 Jun 2015, at 14:56, Marcus Denker <marcus.denker@inria.fr> wrote:

Hi,

16:30 local time we will do some DNS related config change for files.pharo.org

Nothing should change due to that normally.

Marcus