Skip to content

Fix typos#1

Open
dingy6269 wants to merge 1 commit into
dfeneyrou:mainfrom
dingy6269:typos
Open

Fix typos#1
dingy6269 wants to merge 1 commit into
dfeneyrou:mainfrom
dingy6269:typos

Conversation

@dingy6269

Copy link
Copy Markdown

No description provided.

@dfeneyrou

dfeneyrou commented Nov 16, 2025

Copy link
Copy Markdown
Owner

Thanks for fixing the "thReshold" typo!
The additional spaces in the default logger are on purpose though, so that log contents are aligned. Without the space change, I am ok to merge.

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