Rollup of 5 pull requests#52245
Merged
bors merged 14 commits intorust-lang:masterfrom Jul 11, 2018
Commits
Commits on Jun 22, 2018
Commits on Jun 24, 2018
Commits on Jun 27, 2018
Commits on Jul 9, 2018
Commits on Jul 10, 2018
Commits on Jul 11, 2018
- committed
- authored
- authored
- authored
- authored
- authored
- authored