patch ping

jlquinn@optonline.net jlquinn@optonline.net
Fri Apr 18 15:53:00 GMT 2003


(sorry, this might show up twice)
Hi.  Could someone please review the following two patches?

http://gcc.gnu.org/ml/java-patches/2003-q2/msg00019.html
http://gcc.gnu.org/ml/java-patches/2003-q2/msg00027.html

They seem to have fallen through the cracks.  Patches like this should go to java-patches, right?

Thanks,
Jerry Quinn




More information about the Java mailing list