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