Skip to content

clippy: fix clippy warning per rust 1.73#1017

Merged
tsachiherman merged 1 commit intomainfrom tsachi/fix-clippy-1.73-warningsOct 11, 2023

Commits

Commits on Oct 11, 2023