Skip to content

Fixed defect #2752#2784

Merged
olgenn merged 3 commits intomasterfrom
2674_prop_filter
Jun 10, 2025
Merged

Fixed defect #2752#2784
olgenn merged 3 commits intomasterfrom
2674_prop_filter

Conversation

@olgenn
Copy link
Copy Markdown
Collaborator

@olgenn olgenn commented Jun 10, 2025

No description provided.

@olgenn olgenn requested a review from peterschmidt85 June 10, 2025 20:16
@olgenn olgenn self-assigned this Jun 10, 2025
@olgenn olgenn merged commit d516121 into master Jun 10, 2025
25 checks passed
@olgenn olgenn deleted the 2674_prop_filter branch June 10, 2025 21:24
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