Skip to content

Conversation

@schlessera
Copy link
Member

@schlessera schlessera commented Jul 25, 2021

This is supposed to fix #64, but the tests cannot replicate the issue so far.

#64 was user error. But I'll merge the improved test here anyway.

@schlessera schlessera marked this pull request as ready for review July 25, 2021 15:33
@schlessera schlessera requested a review from a team as a code owner July 25, 2021 15:33
@schlessera schlessera merged commit 72877c5 into master Jul 25, 2021
@schlessera schlessera deleted the fix/64-category-filter branch July 25, 2021 15:34
@schlessera schlessera added this to the 2.0.9 milestone Jul 25, 2021
danielbachhuber pushed a commit that referenced this pull request Nov 18, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

--category=<name> filter apparently not working

2 participants