[3.3] Patch ping: JNI ABI and Windows

[Richard Henderson]

On Tue, Feb 11, 2003 at 06:34:58PM -0700, Tom Tromey wrote:
> 	* doc/tm.texi (MODIFY_JNI_METHOD_CALL): Document.
> 	* config/i386/cygwin.h (MODIFY_JNI_METHOD_CALL): New macro.

Ok.


r~