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.

Sign up for GitHub

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

Jump to bottom

Fix misspelling #2035

Merged
merged 1 commit into from
Jul 25, 2023
Merged

Fix misspelling #2035

merged 1 commit into from
Jul 25, 2023

Conversation

zeetabit
Copy link
Contributor

PR Description

TBD

Checklist

  • I agree with the Code Contribution License Agreement in CONTRIBUTING.md

@zeetabit zeetabit added the small changes PR contains small changes, like typo fixes label Jul 25, 2023
@VadymSachenko VadymSachenko added the ready for merge The PR can be merged label Jul 25, 2023
@VadymSachenko VadymSachenko merged commit ec618da into master Jul 25, 2023
@VadymSachenko VadymSachenko deleted the zeetabit-patch-1 branch July 25, 2023 14:23
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@VadymSachenko VadymSachenko VadymSachenko approved these changes

@lenadoc lenadoc Awaiting requested review from lenadoc

@AlexSlawinski AlexSlawinski Awaiting requested review from AlexSlawinski

@andriitserkovnyi andriitserkovnyi Awaiting requested review from andriitserkovnyi

Assignees
No one assigned
Labels
ready for merge The PR can be merged small changes PR contains small changes, like typo fixes
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@zeetabit @VadymSachenko