[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
  Web www.spinics.net

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

Please do not reply directly to this email. All additional
comments should be made in the comments box of this bug.


Jerry James <loganjerry@xxxxxxxxx> changed:

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

--- Comment #9 from Jerry James <loganjerry@xxxxxxxxx> 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.
package-review mailing list

[Fedora Legacy]     [Fedora Desktop]     [Fedora SELinux]     [Yosemite News]     [Yosemite Photos]     [KDE Users]     [Fedora Tools]

Add to Google