When libgcj's soname major version (CURRENT - AGE) is changed, the
Cygwin and MinGW32 configs must be updated to match.  This did not occur
when CURRENT changed 12->13; I'm sending a separate patch to fix that.
The attached patch adds a comment to this effect so that future changes
don't get missed.


Yaakov
Cygwin Ports