| 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. Shriram
| Posted on the users mailing list. |
|
![[logo]](/logo.png){kind=logo}