Rollup of 10 pull requests#57752
Merged
bors merged 24 commits intorust-lang:masterfrom Jan 19, 2019
Commits
Commits on Jan 5, 2019
Commits on Jan 15, 2019
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Jan 17, 2019
Commits on Jan 18, 2019
- authored
Commits on Jan 19, 2019
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored