Skip to content

Conversation

@grasdk
Copy link
Contributor

@grasdk grasdk commented Jun 16, 2024

Fix for the search part of: #892

@bpatrik
Copy link
Owner

bpatrik commented Jun 28, 2024

The integration tests broke. I fixed them. Can you please rebase your PR so we can run them before I merge?

@grasdk
Copy link
Contributor Author

grasdk commented Jun 28, 2024

The integration tests broke. I fixed them. Can you please rebase your PR so we can run them before I merge?

done

@bpatrik bpatrik merged commit 9810ea0 into bpatrik:master Jun 28, 2024
@grasdk grasdk deleted the bugfix/892 branch November 17, 2025 20:36
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