Rollup of 5 pull requests#46574
Merged
bors merged 12 commits intorust-lang:masterfrom GuillaumeGomez:rollupDec 8, 2017
+206-40
Commits
Commits on Dec 1, 2017
Commits on Dec 2, 2017
Commits on Dec 6, 2017
Commits on Dec 7, 2017
- committedJonathan Strong
- committedJonathan Strong
- committed
- committed
- authored
- authored
- authored
- authored
- authored