Skip to content

FuzzySearch: fix file names - #1793

Merged
jeremypw merged 2 commits into
masterfrom
danirabbit/fuzzysearch-filenames
Aug 11, 2026
Merged

FuzzySearch: fix file names#1793
jeremypw merged 2 commits into
masterfrom
danirabbit/fuzzysearch-filenames

Conversation

@danirabbit

Copy link
Copy Markdown
Member

Fix file names to the modern naming convention. Add missing popover to POTFILES

@danirabbit
danirabbit requested a review from a team August 10, 2026 22:44

@jeremypw jeremypw left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Makes sense

@jeremypw
jeremypw merged commit 9f3c315 into master Aug 11, 2026
6 checks passed
@jeremypw
jeremypw deleted the danirabbit/fuzzysearch-filenames branch August 11, 2026 15:40
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants