[Bug 453701] Review Request: minisat2 - A minimalistic, open-source SAT solver

[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=453701





--- Comment #18 from Jason Tibbitts <tibbs at math.uh.edu>  2008-08-08 17:31:49 EDT ---
Please do not include me in the InitialCC for this package.  I review far too
many packages to be CC'd on all of them.

Also, one comment I might add is that there's no need to play any games with
"newoptflags" because you're not changing anything.  You might as well just
remove, or at least comment out, that portion of the spec.

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