Skip to content

Fix deps#192

Merged
gerkey merged 2 commits intomasterfrom
fix_deps
Mar 11, 2017
Merged

Fix deps#192
gerkey merged 2 commits intomasterfrom
fix_deps

Conversation

@gerkey
Copy link
Copy Markdown
Member

@gerkey gerkey commented Mar 11, 2017

Address post-merge comments on #190.

@gerkey gerkey added the in progress Actively being worked on (Kanban column) label Mar 11, 2017
@gerkey gerkey merged commit 2dccf02 into master Mar 11, 2017
@gerkey gerkey deleted the fix_deps branch March 11, 2017 00:16
@gerkey gerkey removed the in progress Actively being worked on (Kanban column) label Mar 11, 2017
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.

1 participant