Rollup of 9 pull requests#74662
Merged
bors merged 31 commits intorust-lang:masterfrom Manishearth:rollup-jdt7t71Jul 23, 2020
+1,582-562
Commits
Commits on Jul 19, 2020
Commits on Jul 21, 2020
Commits on Jul 22, 2020
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored