This is a follow-up of #650 which seems to have only covered Rolling
The respective Humble PR is not yet listed in the rosdistro's PRs (the most recent one is from May 11) and the launch version still seems to be 1.0.2-1.
Edit: I'm sorry if this is not the right place for opening this.
This is a follow-up of #650 which seems to have only covered Rolling
The respective Humble PR is not yet listed in the rosdistro's PRs (the most recent one is from May 11) and the launch version still seems to be 1.0.2-1.
Edit: I'm sorry if this is not the right place for opening this.