[Pharo-project] Switching DNS server for pharo.org

Hi, We will change the DNS Server of pharo.org The forwards ci.pharo.org -- https://ci.inria.fr/pharo/ issues.pharo.org -- http://bugs.pharo.org will not work for a while (till tomorrow latest) Everything else will be not affected. Marcus

Re: [Pharo-project] Switching DNS server for pharo.org

On Apr 28, 2013, at 9:35 AM, Marcus Denker marcus.den...@inria.fr wrote: Hi, We will change the DNS Server of pharo.org The forwards ci.pharo.org -- https://ci.inria.fr/pharo/ issues.pharo.org -- http://bugs.pharo.org will not work for a while (till tomorrow