Skip to content

Conversation

@ommmid
Copy link
Contributor

@ommmid ommmid commented Dec 9, 2019

@mamoll please review

Copy link
Member

@davetcoleman davetcoleman left a comment

Choose a reason for hiding this comment

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

As Omid was the original author, I assume these are improvements

@davetcoleman
Copy link
Member

@ommmid the merge conflict appears non-trivial, could you do a quick fix there?

Copy link
Member

@davetcoleman davetcoleman left a comment

Choose a reason for hiding this comment

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

Thanks Omid!

@davetcoleman davetcoleman merged commit 74577a8 into moveit:master May 3, 2021
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