Hi,
> I'm happy to report that the cvs transition went quite smooth, and that > CVS is back on line again. [...] Great! Thanks, both of you! For me, the time needed for a full checkout has now been reduced to about 30 seconds- not an earth-shattering improvement, but a noticeable one anyway. However, my checkout times weren't among the reasons for the move anyway... How about everyone else who has CVS access? Do you think that it's better now? Anyway, thanks again, Chris and Bas! llap, Christoph
