Skip to content

Comments

PEP 791: add Discussions-To#4427

Merged
hugovk merged 1 commit intopython:mainfrom
skirpichev:pep791-discussion
May 19, 2025
Merged

PEP 791: add Discussions-To#4427
hugovk merged 1 commit intopython:mainfrom
skirpichev:pep791-discussion

Conversation

@skirpichev
Copy link
Member

@skirpichev skirpichev commented May 19, 2025

  • Change is either:
    • To a Draft PEP
    • To an Accepted or Final PEP, with Steering Council approval
    • To fix an editorial issue (markup, typo, link, header, etc)
  • PR title prefixed with PEP number (e.g. PEP 123: Summary of changes)

📚 Documentation preview 📚: https://pep-previews--4427.org.readthedocs.build/

@skirpichev skirpichev requested a review from vstinner as a code owner May 19, 2025 16:29
@hugovk hugovk merged commit 5625a11 into python:main May 19, 2025
5 checks passed
@skirpichev skirpichev deleted the pep791-discussion branch May 19, 2025 16:35
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants