Skip to content

Conversation

@gvanrossum
Copy link
Member

@gvanrossumgvanrossum commented Jul 8, 2023

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

@gvanrossum
Copy link
MemberAuthor

(Sorry for the git mixup.)

@gvanrossumgvanrossum reopened this Jul 10, 2023
@gvanrossumgvanrossum marked this pull request as ready for review July 10, 2023 23:35
@gvanrossumgvanrossum enabled auto-merge (squash) July 11, 2023 17:41
@gvanrossumgvanrossum merged commit cabd6e8 into python:mainJul 11, 2023
@gvanrossumgvanrossum deleted the jump-backward branch July 11, 2023 19:44
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