Skip to content

Tiny cleanup, remove unnecessary unwrap#75353

Merged
bors merged 1 commit intorust-lang:masterfrom
estebank:tiny
Aug 11, 2020
Merged

Tiny cleanup, remove unnecessary `unwrap`#75353
bors merged 1 commit intorust-lang:masterfrom
estebank:tiny

Commits

Commits on Aug 10, 2020