Re: CVS tibbs: Test of new CVS server.

[Jason L Tibbitts III]

Sorry, folks; some hardware issues forced me to migrate the CVS
server.  Everything looks to be fine now and DNS has been updated.  If
cached DNS gets you to the old IP, the new one is 129.7.128.20.

 - J<