Rollup of 12 pull requests#66438
Merged
bors merged 29 commits intorust-lang:masterfrom Nov 15, 2019
Merged
Commits
Commits on Oct 22, 2019
Commits on Nov 3, 2019
Commits on Nov 12, 2019
Commits on Nov 13, 2019
Commits on Nov 14, 2019
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Nov 15, 2019
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored