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/ -- devel mailing list devel@xxxxxxxxxxxxxxxxxxxxxxx https://admin.fedoraproject.org/mailman/listinfo/devel
