Skip to content

PEP 808: add discussion link#4707

Merged
hugovk merged 1 commit intopython:mainfrom
henryiii:henryiii/chore/pep808discuss
Nov 14, 2025
Merged

PEP 808: add discussion link#4707
hugovk merged 1 commit intopython:mainfrom
henryiii:henryiii/chore/pep808discuss

Commits

Commits on Nov 14, 2025