Skip to content

Conversation

hartwork
Copy link
Contributor

@hartwork hartwork commented Oct 6, 2025

@picnixz picnixz merged commit 55a44cc into python:main Oct 6, 2025
39 checks passed
@github-project-automation github-project-automation bot moved this from Todo to Done in Docs PRs Oct 6, 2025
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