Rollup of 10 pull requests#25421
Merged
bors merged 22 commits intorust-lang:masterfrom May 15, 2015
Commits
Commits on May 14, 2015
- committed
- committed
- committed
- committedPaul Faria
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on May 15, 2015
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed