Skip to content

Simplify the returning of a Result a bit - #60041

Merged
bors merged 1 commit into
rust-lang:masterfrom
janhohenheim:patch-1
Apr 19, 2019
Merged

bors merged 1 commit into
rust-lang:masterfrom
janhohenheim:patch-1

Commits

  1. Commits on Apr 18, 2019