Rollup of 7 pull requests#37937
Merged
bors merged 16 commits intorust-lang:masterfrom Nov 23, 2016
Merged
Commits
Commits on Nov 17, 2016
Commits on Nov 20, 2016
Commits on Nov 21, 2016
Commits on Nov 22, 2016
Commits on Nov 23, 2016
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored