Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Fix search returning no results after explicitly selecting "All categories" #1872

Merged
merged 1 commit into from
Jan 15, 2024

Conversation

yrodiere
Copy link
Member

@yrodiere yrodiere commented Jan 15, 2024

Follows up on #1825

See reproducer in this video:

Screencast.from.2024-01-15.11-48-38.webm

@yrodiere
Copy link
Member Author

cc @ia3andy , in case your reimplementation has a similar problem (I doubt it, but what do I know)

Copy link

github-actions bot commented Jan 15, 2024

🙈 The PR is closed and the preview is expired.

@yrodiere
Copy link
Member Author

Works on the preview; I'll merge.

@yrodiere yrodiere merged commit 51ec99a into quarkusio:develop Jan 15, 2024
1 check 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.

1 participant