Rollup of 6 pull requests#65885

Merged

bors merged 16 commits into

rust-lang:masterfrom

Centril:rollup-y6b2qbf

Oct 28, 2019

Commits on Oct 19, 2019

Stabilize `Option::flatten`
eopb
committed

Commits on Oct 27, 2019

Commits on Oct 28, 2019