Skip to content

Conversation

@hugovk
Copy link
Member

@hugovk hugovk commented Nov 10, 2025

Couple more followups from #4331.


📚 Documentation preview 📚: https://pep-previews--4696.org.readthedocs.build/

@hugovk hugovk requested a review from a team as a code owner November 10, 2025 16:23
@hugovk hugovk merged commit a0e2739 into python:main Nov 10, 2025
6 checks passed
@hugovk hugovk deleted the 3.12-3.14-status branch November 10, 2025 16:25
@hugovk
Copy link
Member Author

hugovk commented Nov 10, 2025

The data at these URLs are now identical, except an intended "Georg Brandl, Ned Deily (3.3.7+)" -> "Georg Brandl & Ned Deily (3.3.7)".

woodruffw pushed a commit to woodruffw-forks/peps that referenced this pull request Nov 12, 2025
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