Closed Rezenders closed 1 year ago
@Rezenders thanks for the PR. I believe I've captured this in #29, but I'll rebase this branch on main now that garden is default, and check.
Edit rebased this PR on main and AFAICT the change is included, so closing.
gz-sim7-dev does not exist in ubuntu 22.04