Skip to content

Easy-logging bug fix - #4329

Merged
dorodnic merged 4 commits into
realsenseai:developmentfrom
arilowen:easylogging-bug-fix
Jul 18, 2019
Merged

Easy-logging bug fix#4329
dorodnic merged 4 commits into
realsenseai:developmentfrom
arilowen:easylogging-bug-fix

Conversation

@arilowen

Copy link
Copy Markdown
Contributor

No description provided.

@arilowen

Copy link
Copy Markdown
Contributor Author

#4168

@ev-mp ev-mp left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

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

PLs verify that log_to_console is not affected

@dorodnic
dorodnic merged commit 51f93f1 into realsenseai:development Jul 18, 2019
@arilowen
arilowen deleted the easylogging-bug-fix branch December 3, 2019 13:20
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.

4 participants