Skip to content

PEP 823 + 824: Update post-history - #5215

Merged
gvanrossum merged 1 commit into
python:mainfrom
cdce8p:pep823+824-post-history
Nov 1, 2026
Merged

gvanrossum merged 1 commit into
python:mainfrom
cdce8p:pep823+824-post-history

Conversation

@cdce8p

@cdce8p cdce8p commented Nov 1, 2026

Copy link
Copy Markdown
Contributor
  • 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)

@cdce8p
cdce8p requested a review from gvanrossum as a code owner November 1, 2026 12:50
@read-the-docs-community

Copy link
Copy Markdown

Documentation build overview

📚 pep-previews | 🛠️ Build #35558750 | 📁 Comparing f09fc9a against latest (48eba77)

  🔍 Preview build  

2 files changed
± pep-0823/index.html
± pep-0824/index.html

@gvanrossum
gvanrossum merged commit 607ffe3 into python:main Nov 1, 2026
5 checks passed
@cdce8p
cdce8p deleted the pep823+824-post-history branch November 1, 2026 15:19
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