/home/mercury1 is back

[Tyson Richard DOWD]

Zoltan Somogyi <zs at cs.mu.OZ.AU> writes:

>I have already done this job on the repository, with the exception of
>the corba module, which I am leaving to DJ and/or Tyson to fix.

We ended up creating a new CVS repository so we could get some work
done.  There is nothing in the corba repository that we need at the
moment (unless /home/pgrad disappears, of course).