Review swaps

Jerry James loganjerry at gmail.com
Fri Oct 28 20:29:02 UTC 2011


On Wed, Oct 26, 2011 at 9:18 AM, Jerry James <loganjerry at gmail.com> wrote:
> https://bugzilla.redhat.com/show_bug.cgi?id=719152
> gappalib-coq - Coq support library for gappa (requires flocq)
>
> https://bugzilla.redhat.com/show_bug.cgi?id=719757
> apron - Numerical abstract domain library

Thomas swapped 1 review with me for the flocq review, but I still need
reviews for gappalib-coq (easy) and apron (not so easy).  Would anyone
like to swap a review or 2 with me for one or both of these?

Regards,
-- 
Jerry James
http://www.jamezone.org/


More information about the devel mailing list