Skip to content

Add option_and_then_some lint#4386

Merged
bors merged 3 commits intorust-lang:masterfrom
tesuji:lint-option-and_then-some
Aug 19, 2019

Commits

Commits on Aug 19, 2019