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
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
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
participants (2)
-
Marcus Denker -
Max Leske