cherry picked #716, #717 from indigo-devel

moveit / moveit_ros

THIS REPO HAS MOVED TO https://github.com/ros-planning/moveit

70 stars 118 forks source link

cherry picked #716, #717 from indigo-devel #722

Closed rhaschke closed 8 years ago

davetcoleman commented 8 years ago

you've created a cherry-pick for an unmerged PR in a different branch, you should not combine that with a merged PR and create this PR without notice of this fact. this seems unnecessarily tricky.

rhaschke commented 8 years ago

OK. I will wait for both indigo PRs to be merged and re-open this PR, targetting jade, then again.