publish to ROS distro #3
Description
it'd be great if this tool would be added to rosdistro (see their contribution guide) so that it shows up on index.ros.org and can be installed directly from apt rather than having to build it manually.
{{ message }}