Skip to content

Improve option_and_then_some lint#5529

Merged
bors merged 2 commits intorust-lang:masterfrom alex-700:improve-option-and-then-some-lintMay 17, 2020

Commits

Commits on May 16, 2020

Commits on May 17, 2020