Skip to content

Conversation

@gadomski
Copy link
Member

@gadomski gadomski commented Feb 6, 2025

cc @hrodmn

@gadomski gadomski self-assigned this Feb 6, 2025
@gadomski gadomski linked an issue Feb 6, 2025 that may be closed by this pull request
@gadomski gadomski merged commit a0a547c into main Feb 6, 2025
2 checks passed
@gadomski gadomski deleted the issues/19-async-search branch February 6, 2025 16:09
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.

Async search

2 participants