Skip to content

Fix Port Names#562

Merged
JWhitleyWork merged 1 commit intov9.1from
17919-port-name-hotfix
Apr 3, 2026
Merged

Fix Port Names#562
JWhitleyWork merged 1 commit intov9.1from
17919-port-name-hotfix

Conversation

@JWhitleyWork
Copy link
Copy Markdown
Member

Fixes MTC objectives mentioned in PickNikRobotics/moveit_pro#17919.

@JWhitleyWork JWhitleyWork added this to the 9.1.0 milestone Apr 3, 2026
@JWhitleyWork JWhitleyWork requested review from dsobek and shaur-k April 3, 2026 15:47
@JWhitleyWork JWhitleyWork self-assigned this Apr 3, 2026
@JWhitleyWork JWhitleyWork merged commit 8cb5017 into v9.1 Apr 3, 2026
5 checks passed
@JWhitleyWork JWhitleyWork deleted the 17919-port-name-hotfix branch April 3, 2026 16:31
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