[racket-dev] DrDr hung?

[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