On Mon, Dec 6, 2010 at 5:48 PM, Yann Dirson <dirson@xxxxxxxxx> wrote: > In the end, I still think the implications for the usability are what > matters, more than arguing about a subtle nuance of vocabulary. There is no "usability" problem. it's is normal and good that option names are sometimes revisited and improved -- nothing is perfect on the first try. By keeping the old option around as a deprecated alias, we avoid compatibility issues. That doesn't mean there aren't _any_ issues, but they tend to be pretty minor (such as the "space used by the deprecation option" that you complain about). Maybe if you renamed every option simultaneously, there would be confusion, but seriously, it's only one option. It's not going to be a problem. -Miles -- Cat is power. Cat is peace. -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html