[search] Nitpick post-merge adjustments for #11944 (anchored search result summary retrieval).#12105
Merged
picnixz merged 1 commit intosphinx-doc:masterfrom Mar 16, 2024
jayaddison:pr-11944-followup/pedantic-filtering-suggestion
Merged
[search] Nitpick post-merge adjustments for #11944 (anchored search result summary retrieval).#12105picnixz merged 1 commit intosphinx-doc:masterfrom jayaddison:pr-11944-followup/pedantic-filtering-suggestion
picnixz merged 1 commit intosphinx-doc:masterfrom
jayaddison:pr-11944-followup/pedantic-filtering-suggestion