Rollup of 7 pull requests#41987
Merged
bors merged 14 commits intorust-lang:masterfrom May 14, 2017
Merged
Commits
Commits on May 8, 2017
Commits on May 11, 2017
Commits on May 12, 2017
Commits on May 13, 2017
Commits on May 14, 2017
- authored
- authored
- authored
- authored
- authored
- authored
- authored