Skip to content

Conversation

berezinant
Copy link
Contributor

fixes #3281

Demo:

ee r

@berezinant berezinant merged commit 990e0e8 into master Jan 11, 2024
@IgnatBeresnev IgnatBeresnev deleted the fix-3281-empry-search branch January 11, 2024 15:04
IgnatBeresnev pushed a commit that referenced this pull request Jan 11, 2024
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.

No empty search notification
2 participants