This is the mail archive of the
java-patches@gcc.gnu.org
mailing list for the Java project.
Re: jvmti patch for mingw32
- From: Tom Tromey <tromey at redhat dot com>
- To: David Daney <ddaney at avtrex dot com>
- Cc: gnustuff at thisiscool dot com, Marco Trudel <mtrudel at gmx dot ch>, Java Patch List <java-patches at gcc dot gnu dot org>
- Date: 22 Sep 2006 17:45:34 -0600
- Subject: Re: jvmti patch for mingw32
- References: <OKIF54PL6ZTQJF21DAWQ4WBALFJD83NJ.451462dd@d9300> <4514652D.2090503@avtrex.com>
- Reply-to: tromey at redhat dot com
>>>>> "David" == David Daney <ddaney@avtrex.com> writes:
>>> Either way is ok by gcc standards, fwiw.
>> I thought I remember someone complaining about
>> this but maybe I was just imagining it. Nice to know.
David> The important thing is that the patch does not get mangled.
Yeah.
The official policy is here:
http://gcc.gnu.org/contribute.html#patches
Tom