On Sat, Oct 10, 2015 at 12:54:33PM -0400, Ganesh Ajjanagadde wrote:
> Proper names should be capitalized in all user facing API as far as
> possible. The option names themselves have not been changed since:
> 1. We consistently keep option names in lower case.
> 2. Changing them would break existin
Proper names should be capitalized in all user facing API as far as
possible. The option names themselves have not been changed since:
1. We consistently keep option names in lower case.
2. Changing them would break existing scripts.
The converse is also true: improper names should not be capitali
