Rollup of 12 pull requests#54575
Merged
bors merged 28 commits intorust-lang:masterfrom Sep 26, 2018
Merged
Commits
Commits on Aug 20, 2018
Commits on Sep 17, 2018
Commits on Sep 19, 2018
Commits on Sep 24, 2018
Commits on Sep 25, 2018
- committed
- committed
- committed
- committed
- committed
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored