Patch: fix for PRs java/1343 and java/6336

Alexandre Petit-Bianco apbianco@cygnus.com
Thu May 16 19:14:00 GMT 2002


> Ok to commit?

Yes please, go ahead. Thanks a lot.

./A



More information about the Java-patches mailing list