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

Spell dictionary: add new words and make lowercase #328

Merged
merged 1 commit into from
Jan 26, 2024

Conversation

jaagut
Copy link
Member

@jaagut jaagut commented Jan 25, 2024

Summary

This updates the spell dictionary: add new words and make lowercase

Proposed changes

Lowercase words are accepted in every case, however mixed- or uppercase words are only accepted in that specific spelling.

Related issues

Checklist

  • Run colcon build
  • Write documentation
  • Create issues for future work
  • Test on your machine
  • Test on the robot
  • This PR is on our Software project board

@jaagut jaagut requested a review from Flova January 25, 2024 16:47
@Flova Flova merged commit 961ba20 into main Jan 26, 2024
2 checks passed
@Flova Flova deleted the refactor/spell-dictionary branch January 26, 2024 00:47
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
Archived in project
Development

Successfully merging this pull request may close these issues.

2 participants