Skip to content

Conversation

vstinner
Copy link
Member

@vstinner vstinner commented May 6, 2022

No description provided.

@kumaraditya303
Copy link
Contributor

There is already a PR to fix this. See #92395

Copy link
Member

@Fidget-Spinner Fidget-Spinner left a comment

Choose a reason for hiding this comment

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

Thanks Victor.

@vstinner
Copy link
Member Author

vstinner commented May 6, 2022

There is already a PR to fix this. See #92395

Oh right. I close mine.

@vstinner vstinner closed this May 6, 2022
@vstinner vstinner deleted the whatsnew_gh_91827 branch May 6, 2022 12:31
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
awaiting merge docs Documentation in the Doc dir skip news
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants