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=555161 Bug 555161 depends on bug 555160, which changed state. Bug 555160 Summary: Review Request: picosat - A SAT solver https://bugzilla.redhat.com/show_bug.cgi?id=555160 What |Old Value |New Value ---------------------------------------------------------------------------- Status|ASSIGNED |CLOSED Resolution| |ERRATA --- Comment #12 from Fedora Update System <updates@xxxxxxxxxxxxxxxxx> 2010-01-21 14:45:55 EST --- csisat-1.2-2.fc12 has been submitted as an update for Fedora 12. http://admin.fedoraproject.org/updates/csisat-1.2-2.fc12 -- 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. _______________________________________________ package-review mailing list package-review@xxxxxxxxxxxxxxxxxxxxxxx https://admin.fedoraproject.org/mailman/listinfo/package-review