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=721174
Fedora Update System updates@fedoraproject.org changed:
What |Removed |Added ---------------------------------------------------------------------------- Status|ON_QA |CLOSED Fixed In Version| |cryptominisat-2.9.1-1.fc16 Resolution| |ERRATA Last Closed| |2011-12-18 14:47:47
--- Comment #12 from Fedora Update System updates@fedoraproject.org 2011-12-18 14:47:47 EST --- cryptominisat-2.9.1-1.fc16 has been pushed to the Fedora 16 stable repository.