sshproxy.sourceware.org down?

[Uros Bizjak]

Hello!

Is there something wrong with the connection to sshproxy.sourceware.org 
[1]? The host is unreachable for a couple of days.

[1] http://gcc.gnu.org/ml/gcc/2005-10/msg00475.html


Uros.