Skip to content

Improve no result found sentence in doc search - #55563

Merged
bors merged 1 commit into
rust-lang:masterfrom
GuillaumeGomez:doc-search-sentence
Dec 6, 2018
Merged

bors merged 1 commit into
rust-lang:masterfrom
GuillaumeGomez:doc-search-sentence

Improve no result found sentence in doc search

c209ed8
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs