Rollup of 7 pull requests#63744
Merged
bors merged 14 commits intorust-lang:masterfrom Aug 20, 2019
Merged
Commits
Commits on Aug 4, 2019
Commits on Aug 6, 2019
Commits on Aug 18, 2019
Commits on Aug 19, 2019
Commits on Aug 20, 2019
- committed
- committed
- authored
- authored
- authored
- authored
- authored
- authored
- authored