Skip to content

Cancel the search as soon as we have a match#1883

Merged
laeubi merged 1 commit intoeclipse-pde:masterfrom
laeubi:cancle_the_search
Jul 19, 2025
Merged

Cancel the search as soon as we have a match#1883
laeubi merged 1 commit intoeclipse-pde:masterfrom
laeubi:cancle_the_search

Commits

Commits on Jul 19, 2025