Skip to content

Stabilize option_result_unwrap_unchecked#89951

Merged
bors merged 1 commit intorust-lang:masterfrom
ojeda:stable-unwrap_unchecked
Oct 31, 2021
Merged

Stabilize `option_result_unwrap_unchecked`#89951
bors merged 1 commit intorust-lang:masterfrom
ojeda:stable-unwrap_unchecked

Commits

Commits on Oct 20, 2021