Rollup of 5 pull requests#27994
Merged
bors merged 12 commits intorust-lang:masterfrom Aug 25, 2015
Merged
Commits
Commits on Aug 19, 2015
Commits on Aug 23, 2015
Commits on Aug 24, 2015
- committedMatěj Grabovský
- committed
- committed
Commits on Aug 25, 2015
- committed
- committed
- committed
- committed
- committed
- committed
- committed