It’s also never been released, so it can’t cause a regression for the sync (worst case, if the new build fails, it just won’t get synced). So I’ll merge https://github.com/ros/rosdistro/pull/20206 .
ROS Resources: ROS Homepage | Media and Trademarks | Documentation | ROS Index | How to Get Help | Q&A Help Site | Discussion Forum | Service Status |
It’s also never been released, so it can’t cause a regression for the sync (worst case, if the new build fails, it just won’t get synced). So I’ll merge https://github.com/ros/rosdistro/pull/20206 .