Use <search> HTML tag instead of <div>.#11704
Merged
AA-Turner merged 6 commits intosphinx-doc:masterfrom Oct 4, 2023
Merged
Use ``<search>`` HTML tag instead of ``<div>``.#11704AA-Turner merged 6 commits intosphinx-doc:masterfrom
AA-Turner merged 6 commits intosphinx-doc:masterfrom
Commits
Commits on Oct 4, 2023
- committed
- committed
- committed
- committed
- authored
- authored
