Rollup of 8 pull requests#78350
Merged
bors merged 23 commits intorust-lang:master from JohnTitor:rollup-vbbm5wfOct 25, 2020
+427-131
Commits
Commits on Oct 21, 2020
- committed
- committed
- committed
- committed
- committed
Commits on Oct 23, 2020
- committed
- committed
- committed
- committed
Commits on Oct 24, 2020
- authored
- committed
- committed
- committed
- committed
Commits on Oct 25, 2020
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored