Skip to content

Conversation

@hugovk
Copy link
Contributor

@hugovk hugovk commented Nov 10, 2025

This file is now generated and published from the PEPs repo (python/peps#4331) and will be removed from the devguide soon (python/devguide#1685).

@chrisjbillington chrisjbillington merged commit 7844f37 into chrisjbillington:master Nov 10, 2025
@chrisjbillington
Copy link
Owner

Extremely kind of you to help smooth this transition for my tiny, barely-used project! Much appreciated.

@hugovk hugovk deleted the update-url branch November 10, 2025 23:42
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.

2 participants