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

> > [...] This appears to be fixed in the trunk, but I don't see offhand
> > by what revision, so I don't know if it's already in the release
> > code.
>
> It is already included and released...

Can you push another build of the nightly binary? I had to change my 
system date, and I'd like to be able to set it back.

Thanks,
Dave

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