Rollup of 7 pull requests#25303
Merged
bors merged 25 commits intorust-lang:masterfrom May 11, 2015
Commits
Commits on May 10, 2015
- committed
- committed
- committed
- committedJohann Hofmann
Commits on May 11, 2015
- committedJohann Hofmann
- committedJohann
- committedUlrik Sverdrup
- committedUlrik Sverdrup
- committedUlrik Sverdrup
- committedUlrik Sverdrup
- committedUlrik Sverdrup
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed