-
Stefano Facchini authored
Since we removed typeahead, the search function does not need to match the required signature anymore, so we can simplify it a bit.
65712f7a
Since we removed typeahead, the search function does not need to match the required signature anymore, so we can simplify it a bit.