Skip to content

Conversation

@Viicos
Copy link
Contributor

@Viicos Viicos commented Nov 6, 2024

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

@Viicos Viicos requested a review from 1st1 as a code owner November 6, 2024 14:42
@JelleZijlstra JelleZijlstra merged commit 5c7b771 into python:main Nov 6, 2024
4 checks passed
@Viicos Viicos deleted the patch-1 branch November 6, 2024 14:45
gvanrossum pushed a commit to gvanrossum/peps that referenced this pull request Dec 10, 2024
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