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

On Thu, Mar 25, 2010 at 1:44 AM, Eli Barzilay <eli at barzilay.org> wrote:
>
> * Casey Klein <clklein at eecs.northwestern.edu>
>  Updates:
>  - Redex Updates: update HISTORY
>  (updates should show v4.2.5 as the most current version; email me
>  to merge the changes from the trunk when they're done, or tell me if
>  there are no such changes.)
>

Done. Please include the update to HISTORY.txt in the release.