Rollup of 8 pull requests#54215
Merged
bors merged 32 commits intorust-lang:masterfrom Sep 14, 2018
Merged
Commits
Commits on Aug 9, 2018
Commits on Aug 10, 2018
Commits on Sep 7, 2018
Commits on Sep 10, 2018
Commits on Sep 11, 2018
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Sep 12, 2018
Commits on Sep 13, 2018
Commits on Sep 14, 2018
- committed
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored