Backport of PRs to Beta#25192
Merged
brson merged 7 commits intorust-lang:betafrom May 7, 2015
Merged
Commits
Commits on May 7, 2015
- authored andcommitted
- authored andcommitted
- authored andcommitted
- committed
- committed
- authored andcommitted
- committed