Rollup of 9 pull requests#25958
Merged
bors merged 18 commits intorust-lang:masterfrom Jun 2, 2015
Merged
Commits
Commits on May 27, 2015
- committed
Johannes Oertel
Commits on May 31, 2015
- committedUlrik Sverdrup
- committedUlrik Sverdrup
- committed
Commits on Jun 1, 2015
Commits on Jun 2, 2015
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
