Skip to content

Rollup of 11 pull requests#46829

Merged
bors merged 23 commits into
rust-lang:masterfrom
GuillaumeGomez:rollup
Dec 19, 2017
Merged

Rollup of 11 pull requests#46829
bors merged 23 commits into
rust-lang:masterfrom
GuillaumeGomez:rollup

Rollup merge of #46825 - GuillaumeGomez:mobile-search, r=QuietMisdreavus

b5f6884
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs