I did the change. the DNS should now point to 128.93.162.72
> On 03 Jun 2015, at 14:56, Marcus Denker <[email protected]> wrote: > > Hi, > > 16:30 local time we will do some DNS related config change for > files.pharo.org <http://files.pharo.org/> > > Nothing should change due to that normally. > > Marcus
