Skip to content

add Result::map_or#66292

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

Commits

Commits on Nov 12, 2019