Rollup of 12 pull requests#65943
Merged
bors merged 38 commits intorust-lang:masterfrom Oct 29, 2019
Merged
Commits
Commits on Oct 24, 2019
Commits on Oct 25, 2019
Commits on Oct 26, 2019
Commits on Oct 27, 2019
Commits on Oct 28, 2019
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Oct 29, 2019
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored