Rollup of 6 pull requests#51310
Merged
bors merged 18 commits intorust-lang:masterfrom Jun 3, 2018
Merged
Commits
Commits on Apr 22, 2018
Commits on Apr 24, 2018
Commits on May 19, 2018
Commits on May 28, 2018
Commits on Jun 1, 2018
- committed
Commits on Jun 2, 2018
- committed
- committed
- committed
- authored
- authored
- authored
- authored
- authored
- authored