Rollup of 10 pull requests#47962
Merged
bors merged 20 commits intorust-lang:masterfrom Feb 3, 2018
Merged
Commits
Commits on Nov 21, 2017
Commits on Jan 28, 2018
Commits on Jan 31, 2018
Commits on Feb 1, 2018
Commits on Feb 2, 2018
- committed
- authored
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- authored