Rollup of 6 pull requests#30410
Merged
bors merged 12 commits intorust-lang:masterfrom Dec 16, 2015
Merged
Commits
Commits on Dec 11, 2015
Commits on Dec 12, 2015
Commits on Dec 14, 2015
Commits on Dec 15, 2015
Commits on Dec 16, 2015
- committed
- committed
- committed
- committed
- committed
- committed
