Skip to content

Conversation

@JelleZijlstra
Copy link
Member

@JelleZijlstra JelleZijlstra commented May 4, 2025

I should have done this in #132818 but didn't notice in time.

cc @DavidCEllis

@bedevere-app bedevere-app bot mentioned this pull request May 4, 2025
30 tasks
@JelleZijlstra JelleZijlstra merged commit 4e498d1 into python:main May 5, 2025
41 checks passed
Pranjal095 pushed a commit to Pranjal095/cpython that referenced this pull request Jul 12, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant