Merge from head.
authorSteve Reinhardt <stever@eecs.umich.edu>
Mon, 16 Jul 2007 03:22:04 +0000 (23:22 -0400)
committerSteve Reinhardt <stever@eecs.umich.edu>
Mon, 16 Jul 2007 03:22:04 +0000 (23:22 -0400)
--HG--
extra : convert_revision : c5d045208e521f0bc9e47484a380917e27066798


Trivial merge