Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom

PEP 748: Fix ordered list numbering #4235

Open
wants to merge 1 commit into
base: main
Choose a base branch
from
Open

PEP 748: Fix ordered list numbering #4235

wants to merge 1 commit into from

Conversation

ejm
Copy link

@ejm ejm commented Jan 27, 2025 •
edited by github-actions bot
Loading

  • 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)

Small fix for ordered list numbering. Thanks!

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

@ejm ejm requested a review from ncoghlan as a code owner January 27, 2025 20:05
@cpython-cla-bot CPython CLA Bot
Copy link

cpython-cla-bot bot commented Jan 27, 2025 •
edited
Loading

All commit authors signed the Contributor License Agreement.
CLA signed

AA-Turner
AA-Turner reviewed Jan 28, 2025
View reviewed changes
Copy link
Member

@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.

We can also use auto-numbered lists using #., which is probably what was intended by repeated use of 1..

# for free to join this conversation on GitHub. Already have an account? # to comment
Reviewers

@AA-Turner AA-Turner AA-Turner left review comments

@ncoghlan ncoghlan Awaiting requested review from ncoghlan ncoghlan is a code owner

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@ejm @AA-Turner