Hi, On Tue, Jul 09, 2002 at 06:15:38PM +0200, Henning Meier-Geinitz wrote: > is it only me or is there a problem on cvs.hungry.com? I can't access > it currently. Ping returns nor answer, also. CVS seems to work again. Thanks for fixing! Bye, Henning