Skip to content

Rename parameter options#363

Merged
wjwwood merged 5 commits intomasterfrom
rename_parameter_options
May 29, 2019
Merged

Rename parameter options#363
wjwwood merged 5 commits intomasterfrom
rename_parameter_options

Conversation

@wjwwood
Copy link
Copy Markdown
Member

@wjwwood wjwwood commented May 28, 2019

wjwwood added 2 commits May 28, 2019 14:44
Signed-off-by: William Woodall <william@osrfoundation.org>
…are_parameters_from_overrides

Signed-off-by: William Woodall <william@osrfoundation.org>
@wjwwood wjwwood added the in review Waiting for review (Kanban column) label May 28, 2019
@wjwwood wjwwood self-assigned this May 28, 2019
@wjwwood wjwwood requested a review from jubeira May 28, 2019 22:01
Copy link
Copy Markdown

@jubeira jubeira left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM! I think it's a good change in an effort to clarify this detail.
I've just left a suggestion for your consideration.

Signed-off-by: William Woodall <william@osrfoundation.org>

Co-Authored-By: chapulina <louise@openrobotics.org>
wjwwood added 2 commits May 28, 2019 17:56
…istent

Signed-off-by: William Woodall <william@osrfoundation.org>
Signed-off-by: William Woodall <william@osrfoundation.org>
@wjwwood wjwwood merged commit b460f51 into master May 29, 2019
@delete-merged-branch delete-merged-branch bot deleted the rename_parameter_options branch May 29, 2019 19:12
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

in review Waiting for review (Kanban column)

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants