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

[Stephan Eggermont]

On 03/06/15 14:56, Marcus Denker wrote:

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.

Because it is not reachable at the moment?

Stephan