Rollup of 5 pull requests#57816
Closed
GuillaumeGomez wants to merge 16 commits intorust-lang:masterfrom GuillaumeGomez:rollup
+380-89
Commits
Commits on Jan 10, 2019
- committedJames Munns
- committedJames Munns
- committedJames Munns
- committedJames Munns
Commits on Jan 19, 2019
- committedJames Munns
- committedJames Munns
Commits on Jan 20, 2019
Commits on Jan 21, 2019
- committed
- committed
- committedMarcel Hellwig
- authored
- authored
- authored
- authored
- authored