Rollup of 11 pull requests#80105
Merged
bors merged 30 commits intorust-lang:masterfrom JohnTitor:rollup-8c030u5Dec 17, 2020
+633-285
Commits
Commits on Dec 6, 2020
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Dec 10, 2020
- committed
- committed
- committed
Commits on Dec 14, 2020
Commits on Dec 16, 2020
- committed
- committed
- committed
- committed
- committedbstrie
- committed
Commits on Dec 17, 2020
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored