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

Conversation

@encukou

@encukou encukou commented Jul 1, 2026

Copy link
Copy Markdown
Member

This was moved in python/devguide#1839

Comment thread peps/pep-0011.rst Outdated
@read-the-docs-community

read-the-docs-community Bot commented Jul 1, 2026

Copy link
Copy Markdown

Documentation build overview

📚 pep-previews | 🛠️ Build #33392504 | 📁 Comparing 3ead495 against latest (499ac31)

  🔍 Preview build  

2 files changed
± pep-0011/index.html
± pep-0764/index.html

Co-authored-by: Hugo van Kemenade <1324225+hugovk@users.noreply.github.com>
@hugovk hugovk merged commit b39f59b into python:main Jul 3, 2026
5 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants