Skip to content

PEP 772: Add link to board resolution.#4687

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

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

Conversation

@warsaw

@warsaw warsaw commented Nov 4, 2025

Copy link
Copy Markdown
Member

📚 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