Closed fmauch closed 1 year ago
Since we've merged #617 and triggered a release for melodic and noetic, I think it makes sense to change this repo's default branch to melodic-devel.
melodic-devel
@gavanderhoorn since I don't have the rights to do that, would you please perform this step?
Done
Since we've merged #617 and triggered a release for melodic and noetic, I think it makes sense to change this repo's default branch to
melodic-devel
.@gavanderhoorn since I don't have the rights to do that, would you please perform this step?