Skip to content

Conversation

@dirk-thomas
Copy link
Member

Related to ros2/rosidl#456.

@dirk-thomas dirk-thomas self-assigned this Apr 10, 2020
@dirk-thomas dirk-thomas merged commit 6233bc6 into ros2 Apr 10, 2020
@delete-merged-branch delete-merged-branch bot deleted the dirk-thomas/rename-namespaces branch April 10, 2020 22:55
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.

3 participants