Changes by: Jason J. Hickey (jyh at cs.caltech.edu)
Date: 2007-05-30 19:53:21 -0700 (Wed, 30 May 2007)
Revision: 10835
Log message:
Merge to rev 10833.
I had a NFS server failure partway through, and got a fatally-corrupt
git repository. Bleh, but I believe I was able to recover from some
backup copies I had. The failed repo is dll-syntax.