Rollup of 8 pull requests#78697
Merged
bors merged 26 commits intorust-lang:masterfrom Nov 3, 2020
Merged
Commits
Commits on Oct 26, 2020
Commits on Oct 29, 2020
Commits on Oct 30, 2020
Commits on Nov 1, 2020
Commits on Nov 2, 2020
- committed
- committed
- committed
- authored
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Nov 3, 2020
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
