Rollup of 8 pull requests#37896
Merged
bors merged 18 commits intorust-lang:masterfrom Nov 20, 2016
Merged
Commits
Commits on Nov 14, 2016
Commits on Nov 17, 2016
Commits on Nov 18, 2016
Commits on Nov 19, 2016
Commits on Nov 20, 2016
- committed
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored