Search improvements#503

Merged

milianw merged 1 commit intomasterfrom search-improvements

Sep 16, 2023

+161-40

Commits on Sep 5, 2023

replace search implementation with a more readable one
lievenhey
committed