Rollup of 7 pull requests#31285
Merged
bors merged 15 commits intorust-lang:masterfrom Jan 29, 2016
Commits
Commits on Jan 28, 2016
- committed
- committed
- committed
- committedtgor
- committed
Commits on Jan 29, 2016
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed