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

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

 



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@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
package-review@xxxxxxxxxxxxxxxxxxxxxxx
https://admin.fedoraproject.org/mailman/listinfo/package-review



[Index of Archives]     [Fedora Legacy]     [Fedora Desktop]     [Fedora SELinux]     [Yosemite News]     [KDE Users]     [Fedora Tools]