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-math7 #46

Closed chapulina closed 2 years ago

chapulina commented 2 years ago

This is not strictly necessary now, but it's future-proofing in case we bump any of ign-math's dependencies

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

chapulina commented 2 years ago

This is not strictly necessary now, but it's future-proofing in case we bump any of ign-math's dependencies

We didn't future-proof ign-msgs9 for example, see #48

chapulina commented 2 years ago

Merging since it shouldn't break anything