Re: [Pharo-dev] DNS changes files.phao.org today 16:30 local time

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 <http://files.pharo.org/>

Nothing should change due to that normally.

Marcus