Skip to content

Conversation

@kepler62f
Copy link

What changes were proposed in this pull request?

A minor typo fix to documentation.

Why are the changes needed?

Clearer documentation for users.

Does this PR introduce any user-facing change?

No.

How was this patch tested?

Manual review.

Was this patch authored or co-authored using generative AI tooling?

No.

@github-actions github-actions bot added the DOCS label Dec 2, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant