Skip to content

Conversation

bswck
Copy link
Contributor

@bswck bswck commented Sep 13, 2025

(skip issue, skip news)

@ZeroIntensity ZeroIntensity merged commit 097fc12 into python:main Sep 15, 2025
39 checks passed
@github-project-automation github-project-automation bot moved this from Todo to Done in Docs PRs Sep 15, 2025
@ZeroIntensity
Copy link
Member

This probably isn't worth backporting.

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 issue skip news
Projects
Status: Done
Development

Successfully merging this pull request may close these issues.

4 participants