Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Remove unused members from MotionPlanDetailedResponse #2

Conversation

rhaschke
Copy link

@rhaschke rhaschke commented Nov 3, 2022

Implement suggestion of moveit#3244 (comment).
I agree that the planner_id_ might be useful to decide on a solution.

@rhaschke rhaschke force-pushed the pr-add_parallel_planning branch 2 times, most recently from 0ba887d to 8b91f44 Compare November 8, 2022 10:08
@rhaschke rhaschke force-pushed the pr-add_parallel_planning branch from 8b91f44 to 0ec2c84 Compare November 8, 2022 17:17
@sjahr sjahr force-pushed the pr-add_parallel_planning branch from 279038b to c72ca11 Compare November 10, 2022 09:36
@rhaschke rhaschke deleted the branch sjahr:pr-add_parallel_planning November 11, 2022 10:29
@rhaschke rhaschke closed this Nov 11, 2022
@rhaschke rhaschke deleted the pr-add_parallel_planning branch November 11, 2022 10:29
sjahr added a commit that referenced this pull request Jun 21, 2024
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.

1 participant