documentation: fix small grammar mistake

Merged

Merging aike19115:main into main • View on GitHub

Builds

Discussions

Activity
Components
Changeset

PR check

No activity yet. Complete setup to visualize this pull request. Learn more

UI Review: Disabled

Assign reviewers, detect UI updates, and discuss changes in this pull request by enabling UI Review. You’ll also get a convenient PR check in your GitHub workflow.