On Tue, 02 Sep 2003 19:47:29 +0200 "Guilhem Lavaux" <[EMAIL PROTECTED]> wrote:
> Nope, easy to fix. I've just checked the correction I think. Thanks for > the report. Thanks! Jetty works again. :-) Cheers, - Jim _______________________________________________ kaffe mailing list [EMAIL PROTECTED] http://kaffe.org/cgi-bin/mailman/listinfo/kaffe
