The old "boltzmann" has been upgraded to a dual 400MHz PII machine
as of today.
I made an effort to make the new machine operate identically to
the old one as our CVS repository server.
Please let me know of any difficulty.
NOTE: you will have to change your host key: you WILL get
a message about a change.
PeterM