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

#4470 keyboard -> keyword #4481

Merged
merged 10 commits into from
Sep 15, 2023
Merged

#4470 keyboard -> keyword #4481

merged 10 commits into from
Sep 15, 2023

Conversation

MarleenGilsing
Copy link
Collaborator

@MarleenGilsing MarleenGilsing commented Sep 14, 2023

Fixes #4470

I didn't do these changes, but they seem like improvements. So I'll keep them?
@ghost
Copy link

ghost commented Sep 14, 2023

👇 Click on the image for a new way to code review

Review these changes using an interactive CodeSee Map

Legend

CodeSee Map legend

Copy link
Member

@Felienne Felienne left a comment

Choose a reason for hiding this comment

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

Thanks!

@mergify
Copy link
Contributor

mergify bot commented Sep 14, 2023

Thank you for contributing! Your pull request is now going on the merge train (choo choo! Do not click update from main anymore, and be sure to allow changes to be pushed to your fork).

@mergify
Copy link
Contributor

mergify bot commented Sep 14, 2023

Thank you for contributing! Your pull request is now going on the merge train (choo choo! Do not click update from main anymore, and be sure to allow changes to be pushed to your fork).

@Felienne
Copy link
Member

Ow no, we have a bit too much conflicts because of my link change! I will fix this.

@mergify
Copy link
Contributor

mergify bot commented Sep 15, 2023

Thank you for contributing! Your pull request is now going on the merge train (choo choo! Do not click update from main anymore, and be sure to allow changes to be pushed to your fork).

@mergify mergify bot merged commit 0912ad4 into main Sep 15, 2023
9 checks passed
@mergify mergify bot deleted the #4470-Keykoard---Keyword branch September 15, 2023 09:39
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.

[CONTENT] keyboard -> keyword switcher
2 participants