HTML search: Fix exact matching on titles with extra whitespace#11770
Merged
AA-Turner merged 1 commit intosphinx-doc:masterfrom Dec 26, 2023
Merged
HTML search: Fix exact matching on titles with extra whitespace#11770AA-Turner merged 1 commit intosphinx-doc:masterfrom
AA-Turner merged 1 commit intosphinx-doc:masterfrom