[racket-dev] DrDr hung?

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 <eric.n.dobson at gmail.com> 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 <jay at cs.byu.edu>
Assistant Professor / Brigham Young University
http://faculty.cs.byu.edu/~jay

"The glory of God is Intelligence" - D&C 93