Skip to content

chore: remove a redundant letter from docs#20443

Merged
matifali merged 1 commit into
mainfrom
docs-s
Oct 23, 2025
Merged

chore: remove a redundant letter from docs#20443
matifali merged 1 commit into
mainfrom
docs-s

Conversation

@matifali
Copy link
Copy Markdown
Member

@matifali matifali commented Oct 23, 2025

fixes a typo
image

Copy link
Copy Markdown
Member

@bpmct bpmct left a comment

Choose a reason for hiding this comment

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

This PR is too complex. Can you break it up into smaller chunks?

@matifali
Copy link
Copy Markdown
Member Author

This PR is too complex. Can you break it up into smaller chunks?

Done :D

@matifali matifali merged commit 1cb2ac6 into main Oct 23, 2025
29 checks passed
@matifali matifali deleted the docs-s branch October 23, 2025 17:02
@github-actions github-actions Bot locked and limited conversation to collaborators Oct 23, 2025
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants