Rollup of 22 pull requests#56340
Merged
bors merged 51 commits intorust-lang:masterfrom GuillaumeGomez:rollupNov 29, 2018
+418-316
Commits
Commits on Oct 27, 2018
Commits on Nov 18, 2018
Commits on Nov 19, 2018
Commits on Nov 20, 2018
Commits on Nov 21, 2018
Commits on Nov 22, 2018
Commits on Nov 25, 2018
Commits on Nov 26, 2018
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Nov 27, 2018
Commits on Nov 28, 2018
- committed
- committed
- committed
- committed
- committed
Commits on Nov 29, 2018
- committed
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored