Matthew Flatt <[email protected]> wrote: > Sorry for the delay... > > This is a bug in v5.3.1. See > > http://lists.racket-lang.org/users/archive/2012-November/054847.html > > for a workaround.
The workaround solves it, thanks very much! Matthias Felleisen <[email protected]> wrote: > You can submit bug reports through the Help menu in DrRacket. Doing so > collects metadata, which might be helpful in this case. Ah I should have thought about that. Thanks, I've sent a bug report and I'll remember this for next time. _________________________ Racket Developers list: http://lists.racket-lang.org/dev
