Rollup of 4 pull requests#74987
Closed
Manishearth wants to merge 9 commits intorust-lang:masterfrom
Closed
Commits
Commits on Jul 30, 2020
Commits on Jul 31, 2020
- authored andcommitted

- committed
- committed
- committed
- authored
- authored
- authored
- authored