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

Merge 10 -> 11 #486

Merged
merged 8 commits into from
Feb 20, 2025
Merged

Merge 10 -> 11 #486

merged 8 commits into from
Feb 20, 2025

Conversation

iche033
Copy link
Contributor

@iche033 iche033 commented Feb 20, 2025

➡️ Forward port

Port gz-msgs10 to gz-msgs11

Branch comparison: gz-msgs11...gz-msgs10

Note to maintainers: Remember to Merge with commit (not squash-merge or rebase)

bperseghetti and others added 8 commits June 18, 2024 11:41
Signed-off-by: Benjamin Perseghetti <[email protected]>
…472)

* remove duplicate types

Signed-off-by: Ian Chen <[email protected]>

* revert change

Signed-off-by: Ian Chen <[email protected]>

---------

Signed-off-by: Ian Chen <[email protected]>
If Python3 has already been found, we shouldn't search
again since it may find different components.

Signed-off-by: Steve Peters <[email protected]>
(cherry picked from commit 373b6da)
Signed-off-by: Ian Chen <[email protected]>
@iche033 iche033 requested a review from caguero as a code owner February 20, 2025 00:06
@github-actions github-actions bot added 🏛️ ionic Gazebo Ionic 🪵 jetty Gazebo Jetty labels Feb 20, 2025
@iche033 iche033 merged commit 450ab82 into gz-msgs11 Feb 20, 2025
12 checks passed
@iche033 iche033 deleted the merge_10_11_20250219 branch February 20, 2025 01:11
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
🏛️ ionic Gazebo Ionic 🪵 jetty Gazebo Jetty
Projects
Status: Done
Development

Successfully merging this pull request may close these issues.

5 participants