I've checked in a fix to this problem, but I think it is better if it goes into the release after this one, since it wasn't a simple matter of undoing some earlier bug.
Robby On Tue, Jan 26, 2010 at 11:02 AM, John Clements <[email protected]> wrote: > > On Jan 26, 2010, at 9:00 AM, Robby Findler wrote: >> You apparently didn't find it distressing over the last two months, >> only today found it distressing. >> >> I agree it should be fixed, but since you're the first to report it >> and it was in 4.2.2, and in 4.2.3, then I think it should not stop the >> release. >> >> I'll try to look into it today to see if there is an easy fix. > > I agree: if no one reported it in the last six months, it's obviously not a > big deal. > > John > > _________________________________________________ For list-related administrative tasks: http://list.cs.brown.edu/mailman/listinfo/plt-dev
