[beta] backports#43114
Merged
bors merged 11 commits intorust-lang:betafrom Jul 13, 2017
Merged
Commits
Commits on Jul 13, 2017
- authored andcommitted
- authored andcommitted
- authored andcommitted
- authored andcommitted
- authored andcommitted
- authored andcommitted
- authored andcommitted
- authored andcommitted
- committed
- authored andcommitted
- authored andcommitted