Rollup of 9 pull requests#75436
Merged
bors merged 22 commits intorust-lang:masterfrom Aug 12, 2020
Merged
Commits
Commits on Jul 19, 2020
Commits on Jul 31, 2020
Commits on Aug 6, 2020
Commits on Aug 10, 2020
Commits on Aug 11, 2020
- committed
- committed
- committed
- committed
- committed
- committed
- authored
Commits on Aug 12, 2020
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
