Rollup of 6 pull requests#66242
Merged
bors merged 18 commits intorust-lang:masterfrom Nov 9, 2019
Merged
Commits
Commits on Oct 31, 2019
Commits on Nov 5, 2019
Commits on Nov 6, 2019
Commits on Nov 7, 2019
Commits on Nov 8, 2019
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Nov 9, 2019
- authored
- authored
- authored
- authored
- authored
- authored