Rollup of 13 pull requests#44474
Merged
bors merged 26 commits intorust-lang:masterfrom Sep 10, 2017
Merged
Commits
Commits on Sep 2, 2017
Commits on Sep 5, 2017
Commits on Sep 6, 2017
Commits on Sep 7, 2017
Commits on Sep 9, 2017
- committed
- committed
- committed
- committed
- committedtoidiu
Commits on Sep 10, 2017
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored