Skip to content

Poll required: PEP 13: Clarify tie resolution#4672

Merged
hugovk merged 5 commits intopython:mainfrom
zware:pep13-tie-amendment
Nov 12, 2025
Merged

Poll required: PEP 13: Clarify tie resolution#4672
hugovk merged 5 commits intopython:mainfrom
zware:pep13-tie-amendment

Commits

Commits on Oct 28, 2025

Commits on Nov 12, 2025