CVS update broken

Hi everybody,

Due to a trouble with the mirroring application the public CVS base
was not updated since end December.
We're working on the problem and hope to fix it by next Monday.

Sorry for the inconvenience.
-- 
     Irene.

Received on Friday, 18 January 2002 12:39:49 UTC