Skip to content

bpo-42955: Rename module_names to sys.stdlib_module_names #24332

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
Merged
vstinner merged 1 commit into from
Jan 25, 2021
Merged

bpo-42955: Rename module_names to sys.stdlib_module_names #24332

vstinner merged 1 commit into from
Jan 25, 2021

Conversation

@vstinner
Copy link
Member

@vstinner vstinner commented Jan 25, 2021 •
edited by bedevere-bot
Loading

  • Rename _Py_module_names to _Py_stdlib_module_names
  • Rename Python/module_names.h to Python/stdlib_module_names.h

https://bugs.python.org/issue42955

@vstinner
bpo-42955: Rename module_names to sys.stdlib_module_names
043dd19 
* Rename _Py_module_names to _Py_stdlib_module_names
* Rename Python/module_names.h to Python/stdlib_module_names.h
@vstinner vstinner requested a review from a team as a code owner January 25, 2021 17:15
gaborbernat
gaborbernat approved these changes Jan 25, 2021
View reviewed changes
Copy link
Contributor

@gaborbernat gaborbernat left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

@vstinner vstinner merged commit 9852cb3 into python:master Jan 25, 2021
@vstinner vstinner deleted the stdlib_module_names branch January 25, 2021 22:13
@vstinner
Copy link
Member Author

vstinner commented Jan 25, 2021

Merged, thanks for the reviews.

adorilson pushed a commit to adorilson/cpython that referenced this pull request Mar 13, 2021
@vstinner @adorilson
bpo-42955: Rename module_names to sys.stdlib_module_names (pythonGH-2…
6bdb89a 
…4332)

* Rename _Py_module_names to _Py_stdlib_module_names.
* Rename Python/module_names.h to Python/stdlib_module_names.h.
@lancelote lancelote mentioned this pull request May 23, 2021
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@gpshead gpshead gpshead approved these changes

@warsaw warsaw warsaw approved these changes

+1 more reviewer

@gaborbernat gaborbernat gaborbernat approved these changes

Reviewers whose approvals may not affect merge requirements

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

6 participants

@vstinner @gpshead @warsaw @gaborbernat @the-knights-who-say-ni @bedevere-bot