[plt-dev] DrDr, heal thyself

[Carl Eastlund]

DrDr doesn't seem to be working on new commits.  What's up?

Carl Eastlund
_________________________________________________
  For list-related administrative tasks:
  http://list.cs.brown.edu/mailman/listinfo/plt-dev