Skip to content

Conversation

@donbarbos
Copy link
Contributor

@donbarbos donbarbos commented Nov 17, 2025

@donbarbos
Copy link
Contributor Author

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

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

hugovk commented Nov 17, 2025

Thanks, merged and closed!

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