Skip to content

Skip query hits above user-defined threshold#147

Open
nuno-agostinho wants to merge 2 commits intopeterjc:masterfrom
nuno-agostinho:skip-query-hits
Open

Skip query hits above user-defined threshold#147
nuno-agostinho wants to merge 2 commits intopeterjc:masterfrom
nuno-agostinho:skip-query-hits

Commits

Commits on Nov 18, 2022