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

Typo fix #1518

Merged
merged 1 commit into from
Aug 15, 2022
Merged

Typo fix #1518

merged 1 commit into from
Aug 15, 2022

Conversation

stephanie-eng
Copy link
Contributor

Description

Fix typo in comment

@tylerjw tylerjw merged commit e89526d into moveit:main Aug 15, 2022
@tylerjw tylerjw added the backport-humble Mergify label that triggers a PR backport to Humble label Oct 28, 2022
@mergify mergify bot mentioned this pull request Oct 28, 2022
mergify bot pushed a commit that referenced this pull request Oct 28, 2022
(cherry picked from commit e89526d)
tylerjw pushed a commit that referenced this pull request Oct 28, 2022
(cherry picked from commit e89526d)

Co-authored-by: Stephanie Eng <stephanie-eng@users.noreply.github.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
backport-humble Mergify label that triggers a PR backport to Humble
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants