Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

fix broken maintainer tags #28

Merged
merged 1 commit into from
Aug 22, 2016

Conversation

v4hn
Copy link
Contributor

@v4hn v4hn commented Aug 22, 2016

Thanks to @davetcoleman for pointing it out:
#26 (comment)

@davetcoleman davetcoleman merged commit 566bc67 into moveit:jade-devel Aug 22, 2016
davetcoleman pushed a commit to davetcoleman/moveit_msgs that referenced this pull request Aug 22, 2016
@davetcoleman
Copy link
Member

cherry-picked to I

@130s
Copy link
Contributor

130s commented Aug 22, 2016

My very bad...

Opened a discussion for the possible precaution moveit/moveit_ci#11

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

Successfully merging this pull request may close these issues.

3 participants