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

[Marcus Denker]

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