Skip to content

Conversation

mdboom
Copy link
Contributor

@mdboom mdboom 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).

@markshannon markshannon removed the request for review from gvanrossum March 19, 2024 10:58
@markshannon markshannon merged commit 0f27801 into python:main Mar 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 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.

3 participants