Rollup of 11 pull requests#79167
Merged
bors merged 28 commits intorust-lang:masterfrom Nov 18, 2020
Merged
Commits
Commits on Oct 25, 2020
Commits on Oct 26, 2020
Commits on Nov 12, 2020
Commits on Nov 14, 2020
Commits on Nov 15, 2020
Commits on Nov 16, 2020
Commits on Nov 17, 2020
- committed
- committed
- committed
- committed
Commits on Nov 18, 2020
- committed
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored