Rollup of 7 pull requests#51257
Merged
bors merged 17 commits intorust-lang:masterfrom GuillaumeGomez:rollupMay 31, 2018
+133-42
Commits
Commits on May 29, 2018
Commits on May 30, 2018
Commits on May 31, 2018
- committed
- committed
- committed
- committed
- committed
- committed
- authored
- authored
- authored
- authored
- authored
- authored
- authored