Rollup of 4 pull requests#29778
Merged
bors merged 16 commits intorust-lang:masterfrom Nov 11, 2015
Merged
Commits
Commits on Nov 9, 2015
Commits on Nov 11, 2015
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
