[plt-scheme] cvs updates?

From: Shriram Krishnamurthi (sk at cs.brown.edu)
Date: Tue May 13 17:32:56 EDT 2003

Sorry for the problems -- I was out of town just as some machines at
NEU changed around, and I didn't get informed about the changes
immediately either.

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.


Posted on the users mailing list.