Skip to content

#282: simpler search#382

Merged
Kraysent merged 1 commit intomasterfrom
issue-282-simplify-search
Feb 23, 2026
Merged

#282: simpler search#382
Kraysent merged 1 commit intomasterfrom
issue-282-simplify-search

Conversation

@Kraysent
Copy link
Member

@Kraysent Kraysent merged commit 83c6897 into master Feb 23, 2026
4 checks passed
@Kraysent Kraysent deleted the issue-282-simplify-search branch February 23, 2026 21:03
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.

1 participant