Rollup of 10 pull requests#47445
Merged
bors merged 32 commits intorust-lang:masterfrom Jan 15, 2018
Merged
Commits
Commits on Jan 8, 2018
Commits on Jan 9, 2018
Commits on Jan 11, 2018
Commits on Jan 12, 2018
Commits on Jan 13, 2018
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committedClar Charr
- committed
Commits on Jan 14, 2018
Commits on Jan 15, 2018
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed