Skip to content

Conversation

serhiy-storchaka
Copy link
Member

No description provided.

@Fidget-Spinner
Copy link
Member

Copy link
Member

@vstinner vstinner left a comment

Choose a reason for hiding this comment

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

LGTM.

@pablogsal pablogsal merged commit 5fbaf80 into python:main May 6, 2022
@vstinner
Copy link
Member

vstinner commented May 6, 2022

@pablogsal: Thanks for merging this PR which repairs the Docs CI ;-)

@serhiy-storchaka serhiy-storchaka deleted the whatsnew-issue branch May 6, 2022 12:32
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
None yet
Development

Successfully merging this pull request may close these issues.

5 participants