[racket-dev] DrDr hung?

From: Jay McCarthy (jay.mccarthy at gmail.com)
Date: Sat Apr 5 12:44:04 EDT 2014

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

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

Posted on the dev mailing list.