Skip to content

Conversation

@iritkatriel
Copy link
Member

@iritkatriel iritkatriel commented Dec 11, 2024

As proposed by @JeffersGlass.

  • 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--4164.org.readthedocs.build/

@iritkatriel iritkatriel merged commit 9f2b319 into python:main Dec 12, 2024
6 checks passed
@hugovk
Copy link
Member

hugovk commented Dec 13, 2024

@mnoori1201 Hello, it's not very helpful to approve PRs which have already been merged (this and several others), especially when done without any comments. Thanks.

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.

3 participants