Rollup of 4 pull requests#57577
Merged
bors merged 12 commits intorust-lang:masterfrom Jan 13, 2019
Merged
Commits
Commits on Dec 26, 2018
Commits on Jan 4, 2019
Commits on Jan 8, 2019
Commits on Jan 12, 2019
Commits on Jan 13, 2019
- committed
- committed
- authored
- authored
- authored
- authored
