Rollup of 4 pull requests#68311
Merged
bors merged 17 commits intorust-lang:masterfrom Dylan-DPC-zz:rollup-wzgqw9tJan 17, 2020
+187-169
Commits
Commits on Jan 11, 2020
Commits on Jan 17, 2020
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- authored
- authored
- authored
- authored