Skip to content

Rename severity_thresold -> level#82

Merged
dhood merged 2 commits intomasterfrom
severity_threshold
Dec 4, 2017
Merged

Rename severity_thresold -> level#82
dhood merged 2 commits intomasterfrom
severity_threshold

Conversation

@dhood
Copy link
Copy Markdown
Member

@dhood dhood commented Dec 2, 2017

connects to #77

@dhood dhood added the in progress Actively being worked on (Kanban column) label Dec 2, 2017
@dhood dhood self-assigned this Dec 2, 2017
@dhood dhood force-pushed the severity_threshold branch from 0164374 to 4a696c4 Compare December 3, 2017 01:07
@dhood
Copy link
Copy Markdown
Member Author

dhood commented Dec 3, 2017

rebased after #81

@dhood
Copy link
Copy Markdown
Member Author

dhood commented Dec 3, 2017

(the conflict was with RCUTILS_WARN_UNUSED but it was easy to resolve)
CI has turned up green in #77 (comment); only other commit afterwards ros2/rclpy@2aeb5ab which has tiny scope so I'm gonna merge these PRs

@dhood dhood merged commit b804084 into master Dec 4, 2017
@dhood dhood removed the in progress Actively being worked on (Kanban column) label Dec 4, 2017
@dhood dhood deleted the severity_threshold branch December 4, 2017 02:40
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.

2 participants