Skip to content

Revert "chore: Fix a nightly clippy::unnecessary_map_or lint" - #19075

Merged
torokati44 merged 1 commit into
masterfrom
revert-19073-nightly-clippy-fix
Dec 27, 2024
Merged

Revert "chore: Fix a nightly clippy::unnecessary_map_or lint"#19075
torokati44 merged 1 commit into
masterfrom
revert-19073-nightly-clippy-fix

Revert "chore: Fix a nightly `clippy::unnecessary_map_or` lint"

98425b7
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs