Skip to content

Conversation

gvanrossum
Copy link
Member

@gvanrossum gvanrossum commented Jul 8, 2023

Now POP_JUMP_IF_XXX (gh-106551) has merged this is testable.

@gvanrossum
Copy link
Member Author

(Sorry for the git mixup.)

@gvanrossum gvanrossum reopened this Jul 10, 2023
@gvanrossum gvanrossum marked this pull request as ready for review July 10, 2023 23:35
@gvanrossum gvanrossum requested a review from markshannon as a code owner July 10, 2023 23:35
@gvanrossum gvanrossum enabled auto-merge (squash) July 11, 2023 17:41
@gvanrossum gvanrossum merged commit cabd6e8 into python:main Jul 11, 2023
@gvanrossum gvanrossum deleted the jump-backward branch July 11, 2023 19:44
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants