Skip to content

Conversation

@wulmer
Copy link
Contributor

@wulmerwulmer commented Jul 23, 2023

…07095). (cherry picked from commit f5147c0) Co-authored-by: wulmer <wulmer@users.noreply.github.com>
Copy link
Member

@hugovkhugovk left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks!

@hugovkhugovk merged commit c51f766 into python:3.11Jul 23, 2023
@wulmerwulmer deleted the backport-f5147c0-3.11 branch August 7, 2023 08:15
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

None yet

Development

Successfully merging this pull request may close these issues.

3 participants

@wulmer@hugovk@bedevere-bot