Skip to content

Conversation

@vstinner
Copy link
Member

@vstinnervstinner commented Nov 6, 2024

@vstinner
Copy link
MemberAuthor

It's the wrong approach, see follow-up PR: #126504

@vstinnervstinner closed this Nov 6, 2024
@vstinnervstinner deleted the grp_critical_section branch November 6, 2024 15:25
Sign up for freeto 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.

1 participant

@vstinner