Rollup of 14 pull requests#77350

Closed

jonas-schievink wants to merge 28 commits into

rust-lang:masterfrom

jonas-schievink:rollup-5wy9h3m

Commits on Sep 26, 2020

BTreeMap: keep an eye out on the size of the main components
ssomers
committed

Commits on Sep 28, 2020

Commits on Sep 29, 2020