New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

[docs] The use of `do_lower_case` in scripts is on its way to depreca… #3738

Merged

julien-c merged 1 commit into master from deprecated_scripts_do_lower_case

Apr 10, 2020

Member

julien-c commented Apr 10, 2020 •

edited

Loading

…tion

Will close #3633
Will close #3584
Will close #3491


          [docs] The use of do_lower_case in scripts is on its way to depreca…

c8ef1a1

…tion

julien-c merged commit cbad305 into master

julien-c deleted the deprecated_scripts_do_lower_case branch

April 10, 2020 16:34

julien-c mentioned this pull request

cased -> uncased for example cmdline consistency #3491

Closed

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet