Rollup of 6 pull requests#57405
Merged
bors merged 14 commits intorust-lang:master from pietroalbini:rollupJan 7, 2019
+72-26
Commits
Commits on Jan 2, 2019
- committed
Commits on Jan 3, 2019
Commits on Jan 6, 2019
- committed
- committed
- committedStjepan Glavina
- committedStjepan Glavina
Commits on Jan 7, 2019
- committedStjepan Glavina
- committedJonathan Claudius
- authored
- authored
- authored
- authored
- authored
- authored