chore: Fix a nightly clippy::unnecessary_map_or lint#19076
Merged
torokati44 merged 1 commit intoruffle-rs:masterfrom Jan 10, 2025
Merged
chore: Fix a nightly clippy::unnecessary_map_or lint#19076torokati44 merged 1 commit intoruffle-rs:masterfrom
clippy::unnecessary_map_or lint#19076torokati44 merged 1 commit intoruffle-rs:masterfrom
Commits
Commits on Jan 10, 2025
- authored andcommitted
