Rollup of 17 pull requests#66824
Merged
bors merged 49 commits intorust-lang:masterfrom Nov 28, 2019
Merged
Commits
Commits on Nov 8, 2019
Commits on Nov 19, 2019
Commits on Nov 24, 2019
Commits on Nov 25, 2019
Commits on Nov 26, 2019
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Nov 27, 2019
- committed
- committed
- authored
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
