PR #17820 docs: fix api docs search

docs: fix api docs search #17820

efriis merged 1 commit into master from erick/docs-fix-api-docs-search

docs: fix api docs search

c9693ad1

dosubot added size:XS

dosubot added 🤖:docs

efriis merged 6e854ae3 into master 2 years ago

efriis deleted the erick/docs-fix-api-docs-search branch 2 years ago

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Milestone

No milestone