Merge pull request #5020 from jinroh/docs/search-perf

docs: search perf
d061e5854aVexu committed on 5/16/2020, 1:43:41 PM· committed by GitHubparents758de71f31e0d9
2 files changedLine totals unavailable