Review swaps

Brendan Jones brendan.jones.it at gmail.com
Wed Nov 23 04:38:13 UTC 2011


On 11/21/2011 07:04 PM, Jerry James wrote:
> 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.
I can do this before the end of the weekend if still available. Mine 
here: https://bugzilla.redhat.com/show_bug.cgi?id=750139
>
> 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!

regards,

Brendan








More information about the devel mailing list