Hi Basil, On 13.12.09 17:16, Basile STARYNKEVITCH wrote:
It seems to me that now (GMT time is Sun Dec 13 16:14:59 UTC 2009) the gcc.gnu.org server is down (unreachable, don't ping, don't answer HTTP requests). This seems to be the case for a couple of hours at least.
The servers were down due to movement, from one colo to another. Since 9PM Zurich time the servers are reachable again including svn with namespace resolution, iow, the DNS is also working again.
This was announced here: http://gcc.gnu.org/ml/gcc/2009-12/msg00091.html Regards, Andreas