[gps-devel] CVS unaccessible

[Chris Douty]

Hi,

The anonymous CVS server has been unaccessible for the last several  
days.  I think that I first noticed Friday.  Attempting to do a cvs  
update or other access never connects.  WebCVS seems OK though.

Could someone from AdaCore look into this?

Thanks,
	Chris

-- 
Christopher Douty <Chris_Douty at ampexdata.com> +1-650-367-3129
Senior Engineer, Software & Systems  - AMPEX Data Systems Corp.