Patch: _Jv_pipe instead of ::pipe

Mohan Embar gnustuff@thisiscool.com
Fri Oct 17 18:46:00 GMT 2003


>> This patch fixes this issue:
>>
>> http://gcc.gnu.org/ml/java-patches/2003-q4/msg00136.html
>>
>> I commented on this here:
>>
>> http://gcc.gnu.org/ml/java-patches/2003-q4/msg00138.html
>
>Looks good, please go for it.

Done.

-- Mohan
http://www.thisiscool.com/
http://www.animalsong.org/





More information about the Java-patches mailing list