Review swaps

[Jerry James]

Is anyone willing to swap a couple of reviews?  I need reviews for:

cryptominisat: https://bugzilla.redhat.com/show_bug.cgi?id=721174
In spite of the name, there's nothing cryptographic about this
package.  The author thinks it would be a useful tool for
cryptographers, but it is just another SAT solver.  This is a new
dependency for stp, which I would like to upgrade.

polybori: https://bugzilla.redhat.com/show_bug.cgi?id=742388
This is a package rename.  The current package, python-polybori, mixes
the C++ and python interfaces into a single package.  This rename
separates the C++ and python interfaces into separate packages.

Thanks!
-- 
Jerry James
http://www.jamezone.org/