Just fixed the bug. It should be back up shortly. Thanks for the notify. On Thu, Feb 4, 2010 at 10:09 PM, Carl Eastlund <[email protected]> wrote: > 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 >
-- Jay McCarthy <[email protected]> Assistant Professor / Brigham Young University http://teammccarthy.org/jay "The glory of God is Intelligence" - D&C 93 _________________________________________________ For list-related administrative tasks: http://list.cs.brown.edu/mailman/listinfo/plt-dev
