Rollup of 7 pull requests#41987
Merged
bors merged 14 commits intorust-lang:masterfrom May 14, 2017
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