CVS server down?

[Christopher Barker]

Hi all,

Is the wxWidgets CVS server down? I don't' seem to be able to connect to 
it. I can't even successfully ping it:

$ ping cvs.wxwidgets.org
PING cvs.wxwidgets.org (130.225.247.90) 56(84) bytes of data.

--- cvs.wxwidgets.org ping statistics ---
6 packets transmitted, 0 received, 100% packet loss, time 5009ms

-Chris


-- 
Christopher Barker, Ph.D.
Oceanographer
                                     		
NOAA/OR&R/HAZMAT         (206) 526-6959   voice
7600 Sand Point Way NE   (206) 526-6329   fax
Seattle, WA  98115       (206) 526-6317   main reception

Chris.Barker at noaa.gov