Skip to content

Fix filtering - #472

Merged
uhbrar merged 8 commits into
masterfrom
fix_filtering
Aug 4, 2025
Merged

Fix filtering#472
uhbrar merged 8 commits into
masterfrom
fix_filtering

Conversation

@uhbrar

@uhbrar uhbrar commented Aug 2, 2025

Copy link
Copy Markdown
Collaborator

Uses recursive filtering to prevent dangling references

@maximusunc maximusunc left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM!

@maximusunc

Copy link
Copy Markdown
Collaborator

Let's bump version number

@uhbrar

uhbrar commented Aug 4, 2025

Copy link
Copy Markdown
Collaborator Author

bumped and merging

@uhbrar
uhbrar merged commit 1112b69 into master Aug 4, 2025
4 checks passed
@uhbrar
uhbrar deleted the fix_filtering branch August 4, 2025 14:03
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.

2 participants