Skip to content

PEP 11: Update link to contacts for third-party ports in the Devguide#5015

Merged
hugovk merged 2 commits into
python:mainfrom
encukou:11-link
Jul 3, 2026
Merged

PEP 11: Update link to contacts for third-party ports in the Devguide#5015
hugovk merged 2 commits into
python:mainfrom
encukou:11-link

Update peps/pep-0011.rst

3ead495
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 error and 2 warnings
Run pre-commit
succeeded Jul 1, 2026 in 17s