Rollup of 16 pull requests#78421
Merged
bors merged 34 commits intorust-lang:masterfrom Oct 27, 2020
Merged
Commits
Commits on Oct 4, 2020
Commits on Oct 21, 2020
Commits on Oct 22, 2020
Commits on Oct 23, 2020
Commits on Oct 25, 2020
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Oct 26, 2020
- authored
- committed
- committed
- authored
- committed
- committed
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored