Skip to content

PEP 814: Deferred Ideas#4714

Merged
vstinner merged 1 commit intopython:mainfrom
vstinner:pep814_deferred
Nov 21, 2025
Merged

PEP 814: Deferred Ideas#4714
vstinner merged 1 commit intopython:mainfrom
vstinner:pep814_deferred

Conversation

@vstinner
Copy link
Member

@vstinner vstinner commented Nov 20, 2025


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

@vstinner vstinner requested a review from corona10 as a code owner November 20, 2025 17:18
@vstinner
Copy link
Member Author

cc @corona10

@vstinner vstinner merged commit 8a00411 into python:main Nov 21, 2025
6 checks passed
@vstinner vstinner deleted the pep814_deferred branch November 21, 2025 12:02
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

Comments