Skip to content

fix suggestion in option_map_or_none#7971

Merged
bors merged 11 commits intorust-lang:masterfrom togami2864:fix/option-map-or-noneNov 17, 2021

Commits

Commits on Nov 13, 2021

Commits on Nov 15, 2021

Commits on Nov 16, 2021

Commits on Nov 17, 2021