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
> hours.
> _
>   Racket Developers list:
>   http://lists.racket-lang.org/dev



-- 
Jay McCarthy 
Assistant Professor / Brigham Young University
http://faculty.cs.byu.edu/~jay

"The glory of God is Intelligence" - D&C 93
_
  Racket Developers list:
  http://lists.racket-lang.org/dev


[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