On Sun, 16 Jul 2000, Marc Weustink wrote: > At 11:28 14-07-2000 +0200, Michael Van Canneyt wrote: > >Hello, > > [changes in CVS] > > Has cvsweb being offline anything to do with this ? Yups. Fixed now. Thanks for pointing it out. Michael.