Skip to content

gh-137840: Document PEP 728#149207

Merged
JelleZijlstra merged 3 commits intopython:mainfrom
JelleZijlstra:pep728-docs
May 5, 2026
Merged

gh-137840: Document PEP 728#149207
JelleZijlstra merged 3 commits intopython:mainfrom
JelleZijlstra:pep728-docs

Conversation

@JelleZijlstra
Copy link
Copy Markdown
Member

@JelleZijlstra JelleZijlstra commented May 1, 2026

@read-the-docs-community
Copy link
Copy Markdown

read-the-docs-community Bot commented May 1, 2026

Comment thread Doc/whatsnew/3.15.rst Outdated
Comment thread Doc/whatsnew/3.15.rst Outdated
Comment thread Doc/library/typing.rst Outdated
Co-authored-by: Hugo van Kemenade <1324225+hugovk@users.noreply.github.com>
@JelleZijlstra JelleZijlstra merged commit 5dd2161 into python:main May 5, 2026
30 checks passed
@github-project-automation github-project-automation Bot moved this from Todo to Done in Docs PRs May 5, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

docs Documentation in the Doc dir skip news

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

2 participants