Skip to content

Conversation

@jceresini
Copy link
Contributor

While preparing to submit my first PR in this repo, I ran into a really minor documentation issue. I was asked to move the fix to a separate PR here: #15168 (comment)

It feels a little silly to have such a small PR, so if someone wants to just incorporate this into another documentation PR (if there are any pending), or hold off until there are other changes needed, feel free to do so and close this.

Copy link
Collaborator

@hauntsaninja hauntsaninja left a comment

Choose a reason for hiding this comment

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

Good thing PRs are free!

@hauntsaninja hauntsaninja merged commit e4f8258 into python:main Jan 6, 2026
1 check passed
@AlexWaygood
Copy link
Member

Tiny PRs are great! They're super easy for us to review 😁

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.

3 participants