Rollup of 4 pull requests#4789
Closed
flip1995 wants to merge 18 commits intorust-lang:masterfrom
Closed
Commits
Commits on Oct 29, 2019
- committed
- committed
- committed
- committed
- committed
- andcommitted
- andcommitted
- committed
Commits on Oct 31, 2019
- committed
- committed
Michael Wright
