Rollup of 10 pull requests#53607
Merged
bors merged 20 commits intorust-lang:masterfrom Aug 22, 2018
Merged
Commits
Commits on Aug 16, 2018
Commits on Aug 17, 2018
Commits on Aug 20, 2018
Commits on Aug 21, 2018
Commits on Aug 22, 2018
- committed
- committed
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored