Rollup of 21 pull requests#74408
Merged
bors merged 90 commits intorust-lang:masterfrom Manishearth:rollup-9gxn4odJul 16, 2020
+1,953-287
Commits
Commits on Jun 26, 2020
Commits on Jun 27, 2020
Commits on Jul 1, 2020
Commits on Jul 2, 2020
Commits on Jul 3, 2020
Commits on Jul 8, 2020
Commits on Jul 9, 2020
Commits on Jul 14, 2020
Commits on Jul 15, 2020
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Jul 16, 2020
- authored
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- authored
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored