Skip to content

Rollup of 9 pull requests#54969

Merged
bors merged 24 commits intorust-lang:masterfrom Manishearth:rollupOct 11, 2018

Commits

Commits on Oct 5, 2018

Commits on Oct 6, 2018

Commits on Oct 7, 2018

Commits on Oct 8, 2018

Commits on Oct 9, 2018

Commits on Oct 10, 2018