[beta] Backporting PRs to beta#39734
Merged
bors merged 9 commits intorust-lang:betafrom Feb 11, 2017
Merged
Commits
Commits on Feb 11, 2017
- committed
- authored andcommitted
- authored andcommitted
- authored andcommitted
- authored andcommitted
- authored andcommitted
- committed
- authored andcommitted
- authored andcommitted