Repository navigation

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

Commits on Jul 1, 2026
- PEP 11: Update link to contacts for third-party ports in the Devguide
  encukou
  committed
  16c8021
- Update peps/pep-0011.rst
  
  encukou
  and
  hugovk
  authored
  3ead495