Skip to content

Refactoring search for correctness and efficiency and clarity#5630

Merged
mahibi merged 2 commits intomasterfrom
issue-5629-fix-inefficient-calls
Dec 16, 2025
Merged

Refactoring search for correctness and efficiency and clarity#5630
mahibi merged 2 commits intomasterfrom
issue-5629-fix-inefficient-calls

Commits

Commits on Dec 15, 2025