search

gazebo-tooling / gzdev

Gazebo developers tool is an Outreachy project designed to facilitate many of the usual tasks that Gazebo developers face daily
Other
14 stars 3 forks source link

Bumps in garden: ign-physics6 #47

Closed chapulina closed 2 years ago

chapulina commented 2 years ago

See https://github.com/ignition-tooling/release-tools/issues/574

chapulina commented 2 years ago

Merging since it shouldn't break anything

chapulina commented 2 years ago

Merging since it shouldn't break anything

Well, it also didn't do anything, because it was spelled wrong :upside_down_face: https://github.com/ignition-tooling/gzdev/pull/51