Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

fix some comments #1720

Closed
wants to merge 1 commit into from
Closed

fix some comments #1720

wants to merge 1 commit into from

Conversation

cuishuang
Copy link

No description provided.

Signed-off-by: cui fliter <imcusg@gmail.com>
@xgreenx
Copy link
Collaborator

xgreenx commented Mar 3, 2024

We don't want to have a lot of small PRs with fixes only for several typos. We want to fix all of them in one PR, and automate their finding in the future=) Thank you, we are closing this PR in favor of #1554

You are welcome to join the mentioned PR and collaborate with the owner of this PR on the finalization of it.

@xgreenx xgreenx closed this Mar 3, 2024
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.

None yet

2 participants