Rollup of 10 pull requests#57737
Merged
bors merged 29 commits intorust-lang:masterfrom Jan 18, 2019
Commits
Commits on Dec 13, 2018
Commits on Jan 5, 2019
- committed
Commits on Jan 6, 2019
- authored
- authored
- authored
Commits on Jan 7, 2019
Commits on Jan 12, 2019
Commits on Jan 15, 2019
Commits on Jan 16, 2019
Commits on Jan 17, 2019
Commits on Jan 18, 2019
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored