Skip to content

Conversation

@gadomski
Copy link
Member

@gadomski gadomski self-assigned this Nov 11, 2024
@gadomski gadomski marked this pull request as ready for review November 12, 2024 16:35
@gadomski gadomski enabled auto-merge (squash) November 12, 2024 16:49
@gadomski gadomski merged commit 6568f74 into main Nov 12, 2024
17 checks passed
@gadomski gadomski deleted the issues/518-filter branch November 12, 2024 16:50
@gadomski gadomski mentioned this pull request Dec 1, 2025
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.

Enable filter extension

2 participants