Skip to content

Conversation

@DLu
Copy link
Owner

@DLu DLu commented Jan 7, 2021

@DLu
Copy link
Owner Author

DLu commented Jan 7, 2021

@corot Do you want to review this? I'm sure you've thought about your PR in the past 5 years 😄

@DLu DLu closed this Jan 8, 2021
@DLu DLu reopened this Jan 8, 2021
@DLu
Copy link
Owner Author

DLu commented Jan 8, 2021

@ros-pull-request-builder retest this please

@corot
Copy link
Contributor

corot commented Jan 12, 2021

@corot Do you want to review this? I'm sure you've thought about your PR in the past 5 years

wow.... ancient history; I don't even remember what I was trying to fix here... but I can remake for melodic, if still useful

@DLu DLu merged commit 0970b42 into indigo Mar 2, 2021
@DLu DLu deleted the fix28 branch March 2, 2021 01:51
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.

3 participants