Enable quick and complete cancellation of running searches#642
Merged
Jaifroid merged 5 commits intomasterfrom Enable-quick-and-complete-cancellation-of-running-searchesOct 25, 2020
+43-40
Commits
Commits on Jul 12, 2020
Commits on Jul 13, 2020
Commits on Sep 8, 2020
Commits on Oct 25, 2020
- committed
- committed