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

Search: add 'type' filter #13338

Merged
merged 1 commit into from
Jun 8, 2024
Merged

Conversation

ronso0
Copy link
Member

@ronso0 ronso0 commented Jun 7, 2024

Quick fix for #10071

type:mp3 etc.

@ronso0 ronso0 linked an issue Jun 7, 2024 that may be closed by this pull request
@ronso0 ronso0 added this to the 2.5-beta milestone Jun 7, 2024
@JoergAtGithub
Copy link
Member

Works for me! Thank you!

@JoergAtGithub JoergAtGithub merged commit e94e137 into mixxxdj:2.5 Jun 8, 2024
12 of 13 checks passed
@ronso0 ronso0 deleted the search-by-filetype branch June 8, 2024 00:51
@JoergAtGithub JoergAtGithub added the changelog This PR should be included in the changelog label Jun 8, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
changelog This PR should be included in the changelog library search
Projects
None yet
Development

Successfully merging this pull request may close these issues.

type:filetype library search?
3 participants