Rollup of 7 pull requests#66578
Merged
bors merged 39 commits intorust-lang:masterfrom Nov 20, 2019
Merged
Commits
Commits on Nov 3, 2019
Commits on Nov 5, 2019
Commits on Nov 7, 2019
Commits on Nov 8, 2019
Commits on Nov 17, 2019
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Nov 18, 2019
Commits on Nov 19, 2019
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Nov 20, 2019
- committed
- committed
- authored
- authored
- authored
- authored
- authored
- authored
- authored