Rollup of 7 pull requests#52229
Merged
bors merged 20 commits intorust-lang:masterfrom Jul 11, 2018
Commits
Commits on Jun 22, 2018
- committedAaron Power
- authored
Commits on Jun 23, 2018
- authored
Commits on Jun 26, 2018
- committedAaron Power
Commits on Jul 4, 2018
- authored
Commits on Jul 5, 2018
Commits on Jul 8, 2018
Commits on Jul 9, 2018
Commits on Jul 10, 2018
- authored
- authored
- authored
- authored
- authored
- authored
- authored