Oh no problem. Sorry i didnt fix it sooner. Thanks for the report! Robby
On Wednesday, April 3, 2013, Danny Yoo wrote: > > > On Tuesday, April 2, 2013, Robby Findler wrote: > >> I've just pushed a fix for this, but when you say "still", do you mean >> that you've reported this before? >> >> > I'm sorry: I should have reported it as a bug much sooner. I noticed it > some time after 5.3.3, but thought you were experimenting with something, > so I kept quiet. But the release pre-announcement triggered my concern. >
_________________________ Racket Developers list: http://lists.racket-lang.org/dev