Rollup of 6 pull requests#51704
Merged
bors merged 13 commits intorust-lang:masterfrom Jun 22, 2018
Commits
Commits on May 29, 2018
Commits on Jun 19, 2018
- committed
- committedAdam Barth
Commits on Jun 20, 2018
Commits on Jun 22, 2018
- committed
- authored
- authored
- authored
- authored
- authored
- authored