Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

gh-124269: Simplify typing.Annotated docs #130770

Open
wants to merge 3 commits into
base: main
Choose a base branch
from

Conversation

StanFromIreland
Copy link
Contributor

@StanFromIreland StanFromIreland commented Mar 2, 2025

Grouped relevant bullet points into paragraphs. Maybe I took too many creative liberties...

Request: @JelleZijlstra @sobolevn @picnixz

@picnixz picnixz self-requested a review March 3, 2025 23:03
@picnixz
Copy link
Member

picnixz commented Mar 3, 2025

I forgot about this one. If Jelle approves the PR today, go ahead and merge it, or I'll review it tomorrow.

Co-authored-by: Jelle Zijlstra <[email protected]>
@JelleZijlstra JelleZijlstra added needs backport to 3.12 bug and security fixes needs backport to 3.13 bugs and security fixes labels Mar 3, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
awaiting merge docs Documentation in the Doc dir needs backport to 3.12 bug and security fixes needs backport to 3.13 bugs and security fixes skip news
Projects
Status: Todo
Development

Successfully merging this pull request may close these issues.

3 participants