Re: [racket-dev] DrDr hung?

2014-04-05 Thread Jay McCarthy
I kicked it. (I check every two nights, btw, and if you notice something, you can email me directly.) On Fri, Apr 4, 2014 at 10:51 PM, Eric Dobson wrote: > DrDr seems to be behind by about 8 pushes (in terms of what it is > showing in the UI) currently and is stuck running on push 28468 for 36 >

[racket-dev] DrDr hung?

2014-04-04 Thread Eric Dobson
DrDr seems to be behind by about 8 pushes (in terms of what it is showing in the UI) currently and is stuck running on push 28468 for 36 hours. _ Racket Developers list: http://lists.racket-lang.org/dev