Skip to content

Conversation

@donbarbos
Copy link
Contributor

@donbarbosdonbarbos commented Nov 17, 2025

@donbarbos
Copy link
ContributorAuthor

@hugovk Looks like we could close the issue after merging this PR

@hugovkhugovk merged commit a63ceb7 into python:3.13Nov 17, 2025
26 checks passed
@github-project-automationgithub-project-automationbot moved this from Todo to Done in Docs PRsNov 17, 2025
@hugovk
Copy link
Member

Thanks, merged and closed!

Sign up for freeto join this conversation on GitHub. Already have an account? Sign in to comment

Labels

docsDocumentation in the Doc dirskip news

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

2 participants

@donbarbos@hugovk