clippy: fix warning from unnecessary_map_or lint#125
Merged
tertsdiepraam merged 1 commit intouutils:mainfrom Apr 1, 2025
Merged
clippy: fix warning from unnecessary_map_or lint#125tertsdiepraam merged 1 commit intouutils:mainfrom
tertsdiepraam merged 1 commit intouutils:mainfrom