Rollup of 14 pull requests#46874
Merged
bors merged 33 commits intorust-lang:masterfrom Dec 20, 2017
Merged
Commits
Commits on Dec 5, 2017
Commits on Dec 11, 2017
Commits on Dec 17, 2017
Commits on Dec 18, 2017
Commits on Dec 19, 2017
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Dec 20, 2017
- committed
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored