Skip to content

Conversation

@graingert
Copy link
Contributor

@graingert graingert commented Sep 23, 2024

@bedevere-app bedevere-app bot added docs Documentation in the Doc dir skip news labels Sep 23, 2024
@graingert graingert marked this pull request as ready for review September 23, 2024 21:26
@graingert graingert requested a review from willingc as a code owner September 23, 2024 21:26
@vstinner vstinner changed the title permit __name__ for use in __name__ = "__main__": import: permit __name__ for use in __name__ = "__main__": Sep 24, 2024
@nanjekyejoannah nanjekyejoannah merged commit 162d152 into python:main Sep 25, 2024
30 checks passed
@graingert graingert deleted the graingert-patch-1 branch September 25, 2024 18:02
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.

2 participants