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

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