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
- committedJames Duley
Commits on Sep 12, 2018
- committed
- committed
- committed
- committed
- committedAaron Power
- committed
Commits on Sep 13, 2018
- authored
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed