Skip to content

Conversation

wjwwood
Copy link
Member

@wjwwood wjwwood commented May 21, 2015

@dirk-thomas I have to run, can you get this merged and released?

dirk-thomas added a commit that referenced this pull request May 21, 2015
@dirk-thomas dirk-thomas merged commit 9a1f606 into jade-devel May 21, 2015
@dirk-thomas dirk-thomas deleted the jade-devel-add-turtle branch May 21, 2015 18:56
@dirk-thomas
Copy link
Member

Released: ros/rosdistro#8512

@wjwwood
Copy link
Member Author

wjwwood commented May 22, 2015

Thanks!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants