jvmti patch for mingw32

[Tom Tromey]

>>>>> "Mohan" == Mohan Embar <gnustuff@thisiscool.com> writes:

Mohan> - put the patch inline in the body of the email message and not
Mohan>   as an attachment

Either way is ok by gcc standards, fwiw.

Mohan> Also, I'm assuming this patch is okay to apply on your behalf
Mohan> because I applied a similar patch under the "obvious" rule.

Yeah, this one is ok.  But I already checked it in :)

Mohan> For more substantial patches, the GCC Higher Powers are
Mohan> going to tell you that you need copyright assignment papers:
Mohan> http://www.gnu.org/licenses/why-assign.html

Yup.  Marco, send me email and I can get you started on the process.
It is pretty easy.

Tom