Skip to content

Clippy: fix unnecessary_map_or lint#621

Merged
asomers merged 1 commit intomasterfrom is_some_andNov 17, 2024

Commits

Commits on Nov 17, 2024