Skip to content

PEP 836: minor edits#5028

Merged
Fidget-Spinner merged 2 commits into
python:mainfrom
neutrinoceros:pep836-edits
Jul 9, 2026
Merged

PEP 836: minor edits#5028
Fidget-Spinner merged 2 commits into
python:mainfrom
neutrinoceros:pep836-edits

Conversation

@neutrinoceros

@neutrinoceros neutrinoceros commented Jul 9, 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)

@read-the-docs-community

read-the-docs-community Bot commented Jul 9, 2026

Copy link
Copy Markdown

Documentation build overview

📚 pep-previews | 🛠️ Build #33510233 | 📁 Comparing bfe69b4 against latest (218f944)

  🔍 Preview build  

6 files changed · ± 6 modified

± Modified

Comment thread peps/pep-0836.rst Outdated
Co-authored-by: Hugo van Kemenade <1324225+hugovk@users.noreply.github.com>
@Fidget-Spinner Fidget-Spinner merged commit 9e51e95 into python:main Jul 9, 2026
5 checks passed
@neutrinoceros neutrinoceros deleted the pep836-edits branch July 9, 2026 10:50
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