Skip to content

Conversation

@efernandez
Copy link

@bmagyar For review and merge.

- git: {local-name: realtime_tools, uri: 'https://github.com/ros-controls/realtime_tools.git', version: jade-devel}
- git: {local-name: control_toolbox, uri: 'https://github.com/ros-controls/control_toolbox.git', version: jade-devel}
- git: {local-name: control_msgs, uri: 'https://github.com/ros-controls/control_msgs.git', version: jade-devel}
# Note that for realtime_tools, control_toolbox and control_msgs there's no
Copy link
Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I'm not 100% this is the way to put comments here, but I'm almost 99% sure it's :)

@efernandez
Copy link
Author

efernandez commented May 25, 2016

The reason for this is in ros-controls/ros_controllers#211

Could you re-run the Travis job there once this is merged, please?

@efernandez efernandez added the bug label May 25, 2016
@efernandez efernandez self-assigned this May 25, 2016
@bmagyar
Copy link
Member

bmagyar commented May 25, 2016

Correct.

@bmagyar bmagyar merged commit bb0745d into ros-controls:jade-devel May 25, 2016
@efernandez efernandez deleted the update_rosinstall_jade branch May 25, 2016 21:06
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants