8000 PEP 635: fix duplicate labels by hugovk · Pull Request #2742 · python/peps · GitHub
[go: up one dir, main page]
Skip to content

PEP 635: fix duplicate labels#2742

Merged
hugovk merged 2 commits intopython:mainfrom
hugovk:pep635-fix-duplicate-labels
Jul 28, 2022

Commits

Commits on Jul 28, 2022
0