Skip to content

Conversation

@mdboom
Copy link
Contributor

@mdboommdboom commented Mar 14, 2024

@gvanrossum
Copy link
Member

I can't follow the discussion on the issue. :-( I suppose only @markshannon can approve this (simple though it looks).

@markshannonmarkshannon removed the request for review from gvanrossumMarch 19, 2024 10:58
@markshannonmarkshannon merged commit 0f27801 into python:mainMar 19, 2024
vstinner pushed a commit to vstinner/cpython that referenced this pull request Mar 20, 2024
adorilson pushed a commit to adorilson/cpython that referenced this pull request Mar 25, 2024
diegorusso pushed a commit to diegorusso/cpython that referenced this pull request Apr 17, 2024
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.

3 participants

@mdboom@gvanrossum@markshannon