Search a substring instead of start of string in rustdoc search#53577
Merged
bors merged 1 commit intorust-lang:masterfrom Aug 25, 2018
Merged
Search a substring instead of start of string in rustdoc search#53577bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom