Skip to content

Conversation

serhiy-storchaka
Copy link
Member

@serhiy-storchaka serhiy-storchaka commented Aug 19, 2025

Copy link
Member

@encukou encukou left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Well, OK. Hopefully this doesn't change when we add a new supported platform.

@serhiy-storchaka serhiy-storchaka merged commit 23adbf5 into python:main Aug 20, 2025
38 checks passed
@github-project-automation github-project-automation bot moved this from Todo to Done in Docs PRs Aug 20, 2025
@serhiy-storchaka serhiy-storchaka deleted the docs-resources-RLIM_INFINITY branch August 20, 2025 12:05
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
docs Documentation in the Doc dir skip news
Projects
Status: Done
Development

Successfully merging this pull request may close these issues.

2 participants