Skip to content

Conversation

@vstinner
Copy link
Member

No description provided.

@vstinner vstinner merged commit 4641925 into python:main Oct 16, 2025
49 checks passed
@vstinner vstinner deleted the os_type_names branch October 16, 2025 10:54
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.

1 participant