Closed jspricke closed 8 years ago
Hi,
could you please push 1.9.4 into ROS indigo and jade? It only fixes the dependency issue and should be save to push.
Thanks!
Jochen
Done https://github.com/ros/rosdistro/pull/10077 and https://github.com/ros/rosdistro/pull/10078.
Looks like I tagged a release awhile ago but didn't push to rosdistro, don't know why.
Hi,
could you please push 1.9.4 into ROS indigo and jade? It only fixes the dependency issue and should be save to push.
Thanks!
Jochen