Skip to content

Introduce as_deref to Option#62421

Merged
bors merged 4 commits intorust-lang:masterfrom
JohnTitor:U007D-master
Jul 26, 2019
Merged

Introduce `as_deref` to Option#62421
bors merged 4 commits intorust-lang:masterfrom
JohnTitor:U007D-master

Commits

Commits on Jul 18, 2019