Closed davetcoleman closed 8 years ago
This would help cleanup moveit's rosinstall file
Done https://github.com/ros/rosdistro/pull/12250
Thanks!
Same version 0.3.1 also released into Indigo https://github.com/ros/rosdistro/pull/12261 Jade https://github.com/ros/rosdistro/pull/12264
This would help cleanup moveit's rosinstall file