There was a strange time error with this commit and I've told DrDr to re-test it.
Jay On Tue, Nov 20, 2012 at 12:16 PM, <d...@racket-lang.org> wrote: > DrDr has finished building push #25724 after 2.61h. > > http://drdr.racket-lang.org/25724/ > _________________________ Racket Developers list: http://lists.racket-lang.org/dev
