Skip to content

PEP 752: Fix Sphinx reference error#5010

Merged
hugovk merged 1 commit into
python:mainfrom
hugovk:fix-sphinx-error
Jun 29, 2026
Merged

PEP 752: Fix Sphinx reference error#5010
hugovk merged 1 commit into
python:mainfrom
hugovk:fix-sphinx-error

Conversation

@hugovk

@hugovk hugovk commented Jun 29, 2026

Copy link
Copy Markdown
Member

#4527 and #5008 passed each other in flight, causing a Sphinx error after they both landed.

https://github.com/python/peps/actions/runs/28398022089/job/84141773937

@hugovk hugovk requested a review from warsaw as a code owner June 29, 2026 20:10
@hugovk hugovk enabled auto-merge (squash) June 29, 2026 20:10
@hugovk hugovk merged commit 113a0a5 into python:main Jun 29, 2026
4 of 5 checks passed
@hugovk hugovk deleted the fix-sphinx-error branch June 29, 2026 20:12
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.

1 participant