Skip to content

Conversation

@v4hn
Copy link
Contributor

@v4hn v4hn commented Jul 7, 2020

part of the effort to split moveit_resources into a number of packages.

Related to moveit/moveit_resources#36 and moveit/moveit#2199

Part of the effort to split moveit_resources into a number of packages.
Copy link
Contributor

@jschleicher jschleicher left a comment

Choose a reason for hiding this comment

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

Thank you! Approving.

@SansoneG
Copy link

SansoneG commented Aug 7, 2020

@v4hn Is there anything still holding this PR back from getting merged?

@rhaschke rhaschke changed the title [WIP] support reworked moveit_resources Adapt to new moveit_resources layout Aug 12, 2020
@rhaschke rhaschke merged commit ca2b508 into master Aug 12, 2020
@rhaschke rhaschke deleted the pr-master-rework-resources branch August 12, 2020 22:15
@rhaschke
Copy link
Contributor

Note, Travis will fail here until moveit_resources is released.

@v4hn
Copy link
Contributor Author

v4hn commented Aug 13, 2020

Thanks for taking care of the fine details and the merge @rhaschke 🌻

rhaschke pushed a commit to rhaschke/moveit_tutorials that referenced this pull request Aug 13, 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.

5 participants