[Javapathfinder-user] Patches welcome?

[Jerry J. <log...@gm...>]

I've gone through a series of contortions to package up Javapathfinder
as an RPM for Fedora Linux systems.  In the process, I've generated a
small set of patches for minor issues with the code base.  I was going
to send them via the Sourceforge patch tracking mechanism [1], but I'm
not encouraged that there are year-old patches there that have neither
been applied to the repository nor commented on.  Are patches from
random people you've never heard of [2] welcome?  If so, should they
be sent to this list?

Incidentally, the mailing list links on [3] are broken.

[1] http://sourceforge.net/tracker/?atid=736892&group_id=136825&func=browse
[2] FWIW, I've been an XEmacs developer for about 10 years now, and
have contributed small patches to PVS over the last several years.  A
more in-depth introduction is available upon request. :-)
[3] http://javapathfinder.sourceforge.net/doc/infra.html

Thanks,
-- 
Jerry James
http://loganjerry.googlepages.com/