Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

docs: mention that all logging flags also work in the config file #6705

Merged
merged 1 commit into from
Oct 31, 2019

Conversation

rboyer
Copy link
Member

@rboyer rboyer commented Oct 29, 2019

No description provided.

@rboyer rboyer added the type/docs Documentation needs to be created/updated/clarified label Oct 29, 2019
@rboyer rboyer requested review from a team October 29, 2019 19:33
@rboyer rboyer self-assigned this Oct 29, 2019
Copy link
Member

@banks banks left a comment

Choose a reason for hiding this comment

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

Ha ha just clicked the wrong button/ Good spot!

@rboyer rboyer merged commit 5ff8fa9 into master Oct 31, 2019
@rboyer rboyer deleted the logging-docs branch October 31, 2019 21:15
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
type/docs Documentation needs to be created/updated/clarified
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants