Skip to content

Conversation

@gvanrossum
Copy link
Member

@gvanrossumgvanrossum commented Jul 7, 2023

This is a small independent piece lifted from the closed PR gh-106393.

@gvanrossumgvanrossum merged commit 80b9b3a into python:mainJul 7, 2023
@gvanrossumgvanrossum deleted the enter-exe-uops branch July 7, 2023 18:41
Sign up for freeto join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants

@gvanrossum@bedevere-bot