Skip to content

resolve unnecessary map_or Clippy issue#2904

Merged
taiki-e merged 1 commit intorust-lang:masterfrom brodycj:resolve-unnecessary-map-or-clippy-issueJan 12, 2025

Commits

Commits on Jan 2, 2025