std::result: Remove function map_opt#9404
Merged
bors merged 1 commit intorust-lang:masterfrom Sep 26, 2013
bluss:result-map-opt
Merged
std::result: Remove function `map_opt`#9404bors merged 1 commit intorust-lang:masterfrom bluss:result-map-opt
bors merged 1 commit intorust-lang:masterfrom
bluss:result-map-opt
Commits
Commits on Sep 22, 2013
- committed
blake2-ppc