Skip to content

PEP 803: Add new Discussions-To link#4818

Merged
hugovk merged 1 commit intopython:mainfrom
encukou:803-round2
Feb 16, 2026
Merged

PEP 803: Add new Discussions-To link#4818
hugovk merged 1 commit intopython:mainfrom
encukou:803-round2

Conversation

@encukou
Copy link
Member

@encukou encukou commented Feb 16, 2026

Plus a typo fix.


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

@hugovk hugovk merged commit 623c591 into python:main Feb 16, 2026
6 checks passed
@encukou encukou deleted the 803-round2 branch February 16, 2026 20:49
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.

2 participants