Skip to content

use Result::map_or for bootstrap#67491

Merged
bors merged 1 commit intorust-lang:masterfrom
tesuji:res-map-or
Dec 22, 2019
Merged

use Result::map_or for bootstrap#67491
bors merged 1 commit intorust-lang:masterfrom
tesuji:res-map-or

Commits

Commits on Dec 21, 2019