>> I've put this in my branch 'pr13471': >> >> https://github.com/dyoo/racket/tree/pr13471 >> >> After someone takes a look and says ok, I can push the fix upstream.
> It looks ok to me. Ok, good. Pushed. I don't think I have privileges to close the bug in the bug tracker. At least, the last time I tried, the bug tracker completely broke on me. Can someone close PR13471 for me? Thanks! _________________________ Racket Developers list: http://lists.racket-lang.org/dev
