Skip to content

add Result::map_or#66292

Merged
bors merged 1 commit intorust-lang:masterfrom
tesuji:result-map_or
Nov 13, 2019

Commits

Commits on Nov 12, 2019