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: Fix default logging level #6753

Merged
merged 1 commit into from
Oct 11, 2023
Merged

Docs: Fix default logging level #6753

merged 1 commit into from
Oct 11, 2023

Conversation

N-o-Z
Copy link
Member

@N-o-Z N-o-Z commented Oct 11, 2023

No description provided.

@N-o-Z N-o-Z added exclude-changelog PR description should not be included in next release changelog minor-change Used for PRs that don't require issue attached labels Oct 11, 2023
@N-o-Z N-o-Z requested a review from nopcoder October 11, 2023 08:20
@N-o-Z N-o-Z self-assigned this Oct 11, 2023
@github-actions
Copy link

github-actions bot commented Oct 11, 2023

♻️ PR Preview 129d3d2 has been successfully destroyed since this PR has been closed.

🤖 By surge-preview

@N-o-Z N-o-Z enabled auto-merge (squash) October 11, 2023 08:33
@N-o-Z N-o-Z merged commit 642511c into master Oct 11, 2023
33 checks passed
@N-o-Z N-o-Z deleted the docs/fix-log-level-default branch October 11, 2023 08:35
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
exclude-changelog PR description should not be included in next release changelog minor-change Used for PRs that don't require issue attached
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants