Rollup of 6 pull requests#57592
Merged
bors merged 14 commits intorust-lang:masterfrom Jan 14, 2019
Merged
Commits
Commits on Jan 7, 2019
Commits on Jan 9, 2019
Commits on Jan 12, 2019
Commits on Jan 13, 2019
Commits on Jan 14, 2019
- committed
- committedJethro Beekman
- committedJethro Beekman
- authored
- authored
- authored
- authored
- authored
- authored