Skip to content

Conversation

@vstinner
Copy link
Member

@vstinner vstinner commented Nov 12, 2025

@vstinner vstinner requested a review from a team as a code owner November 12, 2025 09:58
@vstinner
Copy link
Member Author

cc @corona10

@hugovk hugovk added the new-pep A new draft PEP submitted for initial review label Nov 12, 2025
vstinner and others added 3 commits November 12, 2025 12:04
Co-authored-by: Hugo van Kemenade <1324225+hugovk@users.noreply.github.com>
Co-authored-by: Hugo van Kemenade <1324225+hugovk@users.noreply.github.com>
Co-authored-by: Hugo van Kemenade <1324225+hugovk@users.noreply.github.com>
@vstinner
Copy link
Member Author

@hugovk: Thanks for your extensive review. I addressed all remarks. Maybe you would like to review again?

@vstinner
Copy link
Member Author

@nschneid: Thanks for your review. I addressed your suggestions.

@vstinner vstinner merged commit 3ede647 into python:main Nov 13, 2025
5 checks passed
@vstinner
Copy link
Member Author

Merged, thanks for reviews!

@vstinner vstinner deleted the pep814 branch November 13, 2025 09:37
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

new-pep A new draft PEP submitted for initial review

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants