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.dob...@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 <j...@cs.byu.edu> 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