Skip to content

Rename Result::as_deref_ok to as_deref#67930

Merged
bors merged 2 commits intorust-lang:masterfrom tesuji:result-as_derefJan 11, 2020

Commits

Commits on Jan 11, 2020