Skip to content

PEP 725: reference PEP 804#59

Merged
rgommers merged 1 commit intomainfrom
update-pepnumber
Sep 3, 2025
Merged

PEP 725: reference PEP 804#59
rgommers merged 1 commit intomainfrom
update-pepnumber

Conversation

@rgommers
Copy link
Copy Markdown
Owner

@rgommers rgommers commented Sep 3, 2025


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

@rgommers
Copy link
Copy Markdown
Owner Author

rgommers commented Sep 3, 2025

Won't actually build until 804 is known, but should be correct.

@rgommers rgommers merged commit a2a11e4 into main Sep 3, 2025
1 of 7 checks passed
@rgommers rgommers deleted the update-pepnumber branch September 3, 2025 10:22
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