Rollup of 11 pull requests#54168
Merged
bors merged 25 commits intorust-lang:masterfrom Sep 14, 2018 
Merged
Commits
Commits on Sep 5, 2018
Commits on Sep 8, 2018
Commits on Sep 9, 2018
Commits on Sep 10, 2018
Commits on Sep 11, 2018
- committed
- committed James Duley James Duley
Commits on Sep 12, 2018
- committed
- committed
- committed
- committed
- committed Aaron Power Aaron Power
- committed
Commits on Sep 13, 2018
- authored
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed