Skip to content

Fix clippy::unnecessary_map_or lint#228

Merged
waywardmonkeys merged 1 commit intolinebender:mainfrom waywardmonkeys:clippy-fix-unnecessary_map_or-lintDec 16, 2024

Commits

Commits on Dec 16, 2024