On Oct 18, 2006, at 12:37 PM, Reid Spencer wrote: > > This isn't a good idea for the reasons I described on llvm-dev. I really don't think it's a big deal. People can choose new nicknames when making a new config. -Chris