Skip to content

Add real suggestion to option_map_unwrap_or#4634

Merged
bors merged 1 commit intorust-lang:masterfrom
m-ober:feature/2320-map-or
Dec 30, 2019
Merged

Add real suggestion to option_map_unwrap_or#4634
bors merged 1 commit intorust-lang:masterfrom
m-ober:feature/2320-map-or

Commits

Commits on Dec 28, 2019