[Bug 785694] Review Request: jpfcodegen - A tool for generating classes from JPF plug-ins

Please do not reply directly to this email. All additional comments should be made in the comments box of this bug. https://bugzilla.redhat.com/show_bug.cgi?id=785694 Fedora Update System <updates(a)fedoraproject.org&gt; changed: What |Removed |Added ---------------------------------------------------------------------------- Status|ON_QA |CLOSED Fixed In Version| |jpfcodegen-0.4-3.fc17 Resolution| |ERRATA Last Closed| |2012-04-11 22:40:35 --- Comment #9 from Fedora Update System <updates(a)fedoraproject.org&gt; 2012-04-11 22:40:35 EDT --- jpfcodegen-0.4-3.fc17 has been pushed to the Fedora 17 stable repository. -- Configure bugmail: https://bugzilla.redhat.com/userprefs.cgi?tab=email ------- You are receiving this mail because: ------- You are on the CC list for the bug.