The Wayback Machine - https://web.archive.org/web/20201215130638/https://github.com/python/devguide/pull/604
Skip to content
New issue

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

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

Already on GitHub? Sign in to your account

Escape dot to prevent <ol> #604

Merged
merged 1 commit into from Aug 13, 2020
Merged

Escape dot to prevent <ol> #604

merged 1 commit into from Aug 13, 2020

Conversation

@hugovk
Copy link
Contributor

@hugovk hugovk commented Aug 2, 2020

https://devguide.python.org/developers/ shows an unexpected indention for one name which begins with an initial and a period:

image

It's being parsed as an alphabetic <ol> starting at the 18th letter, R.

Escaping the intial's dot fixes it:

image

Copy link
Member

@Mariatta Mariatta left a comment

Thanks!!

@Mariatta Mariatta merged commit c67a077 into python:master Aug 13, 2020
2 checks passed
2 checks passed
continuous-integration/travis-ci/pr The Travis CI build passed
Details
docs/readthedocs.org:cpython-devguide Read the Docs build succeeded!
Details
@hugovk hugovk deleted the hugovk:patch-2 branch Aug 13, 2020
hugovk referenced this pull request Sep 23, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Linked issues

Successfully merging this pull request may close these issues.

None yet

3 participants
You can’t perform that action at this time.
HTTPS · web.archive.org
← Home