Christian Biere wrote:
> Yes, anonymous CVS is down and nobody knows for how long.

FYI, it should be online again now.

-- 
Christian

Attachment: pgpXupdPiGfzB.pgp
Description: PGP signature

Reply via email to