CVS broken at the moment?

[Kevin Bube]

Ah, I forgot: the problem arose with a fresh checkout via

cvs -z3 -d:ext:anoncvs@savannah.gnu.org:/cvsroot/gsl co gsl

-- 
publickey 2048R/0AFDFB19: http://www.icbm.de/~bube/publickey.asc
fingerprint: 542B 1378 04AA AF1F 572E  78BF 1BF5 5C71 0AFD FB19
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 480 bytes
Desc: not available
URL: <http://sourceware.org/pipermail/gsl-discuss/attachments/20050913/0af9b821/attachment.sig>