[plt-scheme] cvs updates?

From: Paul Steckler (steck at ccs.neu.edu)
Date: Tue May 13 17:46:29 EDT 2003

> I've made the DNS changes, and now we just need to wait for 
> them to propagate.  CVS through the old name interfaces will 
> be back up soon.

I'm again able to cvs update here using anonymous cvs.

-- Paul

Posted on the users mailing list.