Skip to content

Switch to Fuzzysearch - #314

Merged
unsecretised merged 5 commits into
masterfrom
fuzzysearch
Jul 30, 2026
Merged

Switch to Fuzzysearch#314
unsecretised merged 5 commits into
masterfrom
fuzzysearch

Conversation

@unsecretised

Copy link
Copy Markdown
Collaborator

Fixes #309
Fixes #311
Swaps out to Fuzzy search of nucleomatcher

@unsecretised
unsecretised marked this pull request as ready for review July 30, 2026 01:53
@unsecretised
unsecretised merged commit cd52548 into master Jul 30, 2026
5 checks passed
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.

[bug] Inconsistent module definition style: platform/mod.rs vs pages.rs [feat] Fuzzy search

1 participant