Don't convert Results to Options just for matching.#69637
Merged
bors merged 1 commit intorust-lang:masterfrom Mar 3, 2020
Merged
Don't convert Results to Options just for matching.#69637bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom