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

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

I did the change. the DNS should now point to

128.93.162.72

Confirmed.

...

On 03 Jun 2015, at 14:56, Marcus Denker <marcus.denker@inria.fr <mailto: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