Fix: Search does not find all files#7267
Merged
AlexAndBear merged 9 commits intomasterfrom issues/7192Jul 20, 2022
+71-30
Commits
Commits on Jul 20, 2022
- committedJanAckermann
- committedJanAckermann
- committedJanAckermann
- committedJanAckermann
- committedJanAckermann
- committedJanAckermann
- committedJanAckermann
- committedJanAckermann