[...] 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
