[racket-dev] DrDr hung?

From: Eric Dobson (eric.n.dobson at gmail.com)
Date: Sat Apr 5 00:51:26 EDT 2014

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.

Posted on the dev mailing list.