Review swaps

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

On Wed, Oct 26, 2011 at 9:18 AM, Jerry James <loganjerry at> wrote:
> gappalib-coq - Coq support library for gappa (requires flocq)
> 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?

Jerry James

More information about the devel mailing list