Rollup of 14 pull requests#57087
Merged
bors merged 43 commits intorust-lang:masterfrom Dec 24, 2018
Merged
Commits
Commits on Dec 17, 2018
Commits on Dec 18, 2018
Commits on Dec 19, 2018
Commits on Dec 20, 2018
Commits on Dec 21, 2018
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Dec 22, 2018
Commits on Dec 23, 2018
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
