Skip to content

Conversation

@hugovk
Copy link
Member

@hugovkhugovk commented Dec 18, 2023

Follow on from #3596.

Sorry for the second PR, I forgot to actually commit this for the first PR...

Using a Sphinx label is more reliable in case of later re-orgs.


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

@pablogsalpablogsal merged commit 9779c7e into python:mainDec 18, 2023
@hugovkhugovk deleted the pep647-mark-as-final2 branch December 18, 2023 21:43
Sign up for freeto 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

@hugovk@pablogsal