Skip to content

Fix a clippy lint#300

Merged
bschwind merged 1 commit intomainfrom lint-fixFeb 5, 2024

Commits

Commits on Feb 5, 2024