Skip to content

Fix missing namespace for logging.h - #18

Merged
davetcoleman merged 1 commit into
moveit:masterfrom
davetcoleman:cleanup_ifndef
Feb 25, 2019
Merged

davetcoleman merged 1 commit into
moveit:masterfrom
davetcoleman:cleanup_ifndef

Conversation

@davetcoleman

Copy link
Copy Markdown
Member

@vmayoral

Copy link
Copy Markdown
Contributor

@vmayoral approves this.

@davetcoleman

Copy link
Copy Markdown
Member Author

I need an actual approval via the Github Approve button before I can merge this in - the CI is currently setup to block merges otherwise

@mlautman ?

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