Skip to content

Fix incorrect suggestion for manual_unwrap_or_default#12961

Merged
bors merged 1 commit intorust-lang:masterfrom
GuillaumeGomez:fix-manual_unwrap_or_default
Jun 21, 2024
Merged

Fix incorrect suggestion for `manual_unwrap_or_default`#12961
bors merged 1 commit intorust-lang:masterfrom
GuillaumeGomez:fix-manual_unwrap_or_default

Commits

Commits on Jun 21, 2024