Skip to content

fix: clippy map_or_identity in smart_keymap - #710

Merged
rgoulter merged 1 commit into
masterfrom
fix/clippy-map-or-identity
Aug 29, 2026
Merged

fix: clippy map_or_identity in smart_keymap#710
rgoulter merged 1 commit into
masterfrom
fix/clippy-map-or-identity

Commits

Commits on Aug 29, 2026