On Mon, Feb 4, 2013 at 1:51 PM, Danny Yoo <[email protected]> wrote: >>> 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!
It's too late for this commit, but if you write "Closes PR 13471" in the commit message, it gets automatically closed. Sam _________________________ Racket Developers list: http://lists.racket-lang.org/dev
