Skip to content

Use a stricter form of search for extremely short queries#1752

Merged
bors merged 1 commit intorust-lang:masterfrom
sgrif:sg-stricter-search-for-short-queries
May 23, 2019

Commits

Commits on May 22, 2019