Skip to content

Filter: preserve inverse flag filtering with stripFlags#198

Merged
thim81 merged 3 commits intomainfrom
193-stripflag-inverse
Feb 28, 2026
Merged

Filter: preserve inverse flag filtering with stripFlags#198
thim81 merged 3 commits intomainfrom
193-stripflag-inverse

Conversation

@thim81
Copy link
Owner

@thim81 thim81 commented Feb 28, 2026

linked to #193

@thim81 thim81 changed the title Filter: preserve inverse flag filtering with stripFlags (#193) Filter: preserve inverse flag filtering with stripFlags Feb 28, 2026
@thim81 thim81 merged commit f20ac79 into main Feb 28, 2026
4 checks passed
@thim81 thim81 deleted the 193-stripflag-inverse branch February 28, 2026 16:53
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