As an aside, rosindex.github.io could be modified to generate an RSS feed of new packages, even distro-specific ones, or ones that depends on certain packages. The only thing that's lacking at the moment is funding to keep it generated frequently enough to be useful. --- [Visit Topic](https://discourse.ros.org/t/new-software-release-announcements/1203/22) or reply to this email to respond. If you do not want to receive messages from ros-users please use the unsubscribe link below. If you use the one above, you will stop all of ros-users from receiving updates. ______________________________________________________________________________ ros-users mailing list ros-users@lists.ros.org http://lists.ros.org/mailman/listinfo/ros-users Unsubscribe: