Rollup of 7 pull requests#63998
Merged
bors merged 18 commits intorust-lang:masterfrom Aug 29, 2019
Merged
Commits
Commits on Aug 25, 2019
Commits on Aug 26, 2019
Commits on Aug 27, 2019
Commits on Aug 28, 2019
Commits on Aug 29, 2019
- committed
- authored
- authored
- authored
- authored
- authored
- authored
- authored