Skip to content

Fix cpplint error on master#601

Merged
j-rivero merged 1 commit intomasterfrom
jrivero/fix_cpplint
May 4, 2022
Merged

Fix cpplint error on master#601
j-rivero merged 1 commit intomasterfrom
jrivero/fix_cpplint

Conversation

@j-rivero
Copy link
Contributor

@j-rivero j-rivero commented May 4, 2022

Minor problem detected while processing #600

Signed-off-by: Jose Luis Rivero <jrivero@osrfoundation.org>
Copy link
Contributor

@clalancette clalancette left a comment

Choose a reason for hiding this comment

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

This looks good to me. Since this is only a whitespace fix, I think we can merge it once the Rpr job comes back clean.

@j-rivero j-rivero merged commit 87ac047 into master May 4, 2022
@j-rivero j-rivero deleted the jrivero/fix_cpplint branch May 4, 2022 15:16
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.

2 participants