Rollup of 15 pull requests#41965
Merged
bors merged 36 commits intorust-lang:masterfrom May 13, 2017
Merged
Commits
Commits on May 5, 2017
Commits on May 7, 2017
Commits on May 9, 2017
Commits on May 10, 2017
Commits on May 11, 2017
- committed
- committed
- authored
- committed
- committed
- committed
- committed
Commits on May 12, 2017
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on May 13, 2017
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
