Skip to content

Send a search to the search tool, never to the browser - #841

Closed
guidovizoso wants to merge 6 commits into
mainfrom
guido/search-routing
Closed

guidovizoso wants to merge 6 commits into
mainfrom
guido/search-routing

Commits

  1. Commits on Oct 26, 2026