Diego Novillo Tue, 31 Jul 2007 12:11:20 -0700
Merged with @127100. With this merge we'll start tracking the merge point in the --version output.
