Skip to content

Comments

PEP 772: Add link to board resolution.#4687

Merged
warsaw merged 1 commit intopython:mainfrom
warsaw:772-board-resolve
Nov 4, 2025
Merged

PEP 772: Add link to board resolution.#4687
warsaw merged 1 commit intopython:mainfrom
warsaw:772-board-resolve

Conversation

@warsaw
Copy link
Member

@warsaw warsaw commented Nov 4, 2025


📚 Documentation preview 📚: https://pep-previews--4687.org.readthedocs.build/

@warsaw warsaw requested a review from pradyunsg as a code owner November 4, 2025 20:20
@warsaw warsaw self-assigned this Nov 4, 2025
@warsaw warsaw merged commit 0ce1884 into python:main Nov 4, 2025
6 checks passed
@warsaw warsaw deleted the 772-board-resolve branch November 4, 2025 20:24
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