[Bug 812681] Review Request: glueminisat - Boolean SAT solver that implements literal blocks distance (LBD)

[bugzilla at redhat.com]

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=812681

Jerry James <loganjerry at gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
               Flag|fedora-review?              |fedora-review+

--- Comment #9 from Jerry James <loganjerry at gmail.com> 2012-04-26 12:42:00 EDT ---
Looks good.  This package is APPROVED.

John, I will go push the button to sponsor you as a packager.  If you have any
questions or run into any problems, please feel free to contact me at any time.
 I will also keep an eye on your packaging activities for the next few months,
just to watch for signs that you are running into difficulties.  Think of me as
a resource you can draw on to help solve packaging problems.

Also, I'm always interested in trading package reviews, if you have more
packages you want to submit to Fedora.

Welcome to Fedora!

-- 
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.