Skip to content
This repository was archived by the owner on Feb 11, 2026. It is now read-only.

clippy: fix warning from unnecessary_map_or lint #125

Merged
tertsdiepraam merged 1 commit into from
Apr 1, 2025

clippy: fix warning from unnecessary_map_or lint

2cdf904
Select commit
Loading
Failed to load commit list.
Merged

clippy: fix warning from unnecessary_map_or lint #125

clippy: fix warning from unnecessary_map_or lint
2cdf904
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs