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