Skip to content

Conversation

@b-kamphorst
Copy link
Contributor

Fixup of a typo in #13335...

@b-kamphorst
Copy link
Contributor Author

@AA-Turner I'm quite confident the reason that the pipeline failed has nothing to do with the changes in this PR.

@AA-Turner AA-Turner added this to the 8.2.x milestone Feb 20, 2025
@AA-Turner AA-Turner changed the title fix: correct typo in misc.highlighting_failure warning Correct spelling of highlighting_failure in warning sub-type Feb 20, 2025
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.

Arguably this should have a CHANGES entry as a user-visible bug fix, but I can add one before releasing.

A

@AA-Turner AA-Turner merged commit db58e42 into sphinx-doc:master Feb 20, 2025
23 checks passed
@github-actions github-actions bot locked as resolved and limited conversation to collaborators Mar 21, 2025
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants