[plt-dev] Re: Pre-Release Checklist for v4.2.1

On Jul 20, 2009, at 6:45 PM, Eli Barzilay wrote:
> * Stevie Strickland <sstrickl@xxxxxxxxxxx>
>  - Unit Contract Tests
>  - Contract Region Tests

Done.
_________________________________________________
 For list-related administrative tasks:
 http://list.cs.brown.edu/mailman/listinfo/plt-dev