Skip to content

Logging configuration API#10

Merged
sergeuz merged 4 commits into
masterfrom
feature/log_config
Apr 16, 2019
Merged

Logging configuration API#10
sergeuz merged 4 commits into
masterfrom
feature/log_config

Conversation

@sergeuz

@sergeuz sergeuz commented Apr 12, 2019

Copy link
Copy Markdown
Member

This PR implements an API for the runtime configuration of the Device OS logging. See the PR #1748 for testing instructions.

@sergeuz

sergeuz commented Apr 12, 2019

Copy link
Copy Markdown
Member Author

[ch30126]

@sergeuz sergeuz requested review from m-mcgowan and removed request for m-mcgowan April 12, 2019 17:37
@sergeuz sergeuz merged commit f53a779 into master Apr 16, 2019
@sergeuz sergeuz deleted the feature/log_config branch April 16, 2019 08:37
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