Skip to content

Conversation

@tylerjw
Copy link
Member

@tylerjw tylerjw commented Sep 30, 2020

Description

I realized this was not just on melodic-devel, but also on master... here is the same commit cherry-picked to fix master.

Related: #529

@rhaschke rhaschke merged commit 7cac2c3 into moveit:master Sep 30, 2020
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