Skip to content

Conversation

@AA-Turner
Copy link
Member

@AA-Turner AA-Turner commented Oct 4, 2025

  • Change is either:
    • To a Draft PEP
    • To an Accepted or Final PEP, with Steering Council approval
    • To fix an editorial issue (markup, typo, link, header, etc)
  • PR title prefixed with PEP number (e.g. PEP 123: Summary of changes)

cc @pablogsal @Yhg1s

These are some further editorial changes I'd suggest to clarify some points that currently require jumping around the text a bit.

A


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

@AA-Turner
Copy link
Member Author

Another editorial question: would you object to using sub-headings for the FAQ instead of bold lines? It would make things marginally easier to link to.

A

@pablogsal
Copy link
Member

Another editorial question: would you object to using sub-headings for the FAQ instead of bold lines? It would make things marginally easier to link to.

Go ahead but I had some problems getting the markup right

@AA-Turner
Copy link
Member Author

@pablogsal done, sorry for the slight delay (my computer decided to restart itself for essential updates that couldn't possibly wait!)

A

Copy link
Member Author

@AA-Turner AA-Turner left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This should really be fixed in Sphinx. Leaving these as a note to self as I'm on mobile.

A

Copy link
Member

@pablogsal pablogsal left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Amazing!

@pablogsal pablogsal enabled auto-merge (squash) October 4, 2025 13:47
@pablogsal pablogsal merged commit 9b881d5 into python:main Oct 4, 2025
5 checks passed
@pablogsal
Copy link
Member

Thanks a lot for the great work @AA-Turner

@AA-Turner AA-Turner deleted the pep-810-followups branch October 4, 2025 13:48
zklaus pushed a commit to zklaus/peps that referenced this pull request Nov 3, 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.

2 participants