Rollup of 15 pull requests#78810
Merged
bors merged 39 commits intorust-lang:masterfrom JohnTitor:rollup-8fhtvxuNov 6, 2020
+251-95
Commits
Commits on Jul 31, 2020
Commits on Aug 21, 2020
Commits on Oct 8, 2020
Commits on Oct 29, 2020
Commits on Oct 30, 2020
Commits on Nov 3, 2020
Commits on Nov 4, 2020
Commits on Nov 5, 2020
Commits on Nov 6, 2020
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored