Please do not reply directly to this email. All additional comments should be made in the comments box of this bug report.
Summary: Review Request: minisat2 - A minimalistic, open-source SAT solver https://bugzilla.redhat.com/show_bug.cgi?id=453701 ------- Additional Comments From [EMAIL PROTECTED] 2008-07-15 23:17 EST ------- I've talked with upstream; I think I've convinced them to switch to a sensible "2.1"-style version naming convention for their next release. If they do so, this package can be easily updated to match. Please review this new version, and let me know if it's approved. Thanks. -- 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, or are watching someone who is. _______________________________________________ Fedora-package-review mailing list [email protected] http://www.redhat.com/mailman/listinfo/fedora-package-review
