In case this has not been noticed yet, something in revision 16860 caused DrDr to start taking 3 times as long for each revision (~90 minutes instead of ~30). It is currently about 10 revisions behind.
Carl Eastlund _________________________________________________ For list-related administrative tasks: http://list.cs.brown.edu/mailman/listinfo/plt-dev
