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 flipped comments in joint_model.h #3047

Merged
merged 1 commit into from
Oct 30, 2024
Merged

Fix flipped comments in joint_model.h #3047

merged 1 commit into from
Oct 30, 2024

Conversation

sea-bass
Copy link
Contributor

Description

I was reading a file and noticed the comments were backwards. Tiny change.

Checklist

  • Required by CI: Code is auto formatted using clang-format
  • Extend the tutorials / documentation reference
  • Document API changes relevant to the user in the MIGRATION.md notes
  • Create tests, which fail without this PR reference
  • Include a screenshot if changing a GUI
  • While waiting for someone to review your request, please help review another open pull request to support the maintainers

@sea-bass sea-bass added backport-humble Mergify label that triggers a PR backport to Humble backport-iron Mergify label that triggers a PR backport to Iron labels Oct 30, 2024
@mikeferguson mikeferguson added this pull request to the merge queue Oct 30, 2024
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks Oct 30, 2024
@mikeferguson mikeferguson added this pull request to the merge queue Oct 30, 2024
Merged via the queue into main with commit 08da0b6 Oct 30, 2024
10 of 14 checks passed
@mikeferguson mikeferguson deleted the flippy-commenty branch October 30, 2024 15:02
mergify bot pushed a commit that referenced this pull request Oct 30, 2024
mergify bot pushed a commit that referenced this pull request Oct 30, 2024
sjahr pushed a commit that referenced this pull request Oct 31, 2024
(cherry picked from commit 08da0b6)

Co-authored-by: Sebastian Castro <4603398+sea-bass@users.noreply.github.com>
sjahr pushed a commit that referenced this pull request Oct 31, 2024
(cherry picked from commit 08da0b6)

Co-authored-by: Sebastian Castro <4603398+sea-bass@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 backport-iron Mergify label that triggers a PR backport to Iron
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants