On Wed, Oct 26, 2011 at 9:18 AM, Jerry James <loganjerry@xxxxxxxxx> 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/ -- devel mailing list devel@xxxxxxxxxxxxxxxxxxxxxxx https://admin.fedoraproject.org/mailman/listinfo/devel
