fix: preserve OR grouping when combining pushed-down filters - #21
Open
wombatu-kun wants to merge 1 commit into
Open
fix: preserve OR grouping when combining pushed-down filters#21wombatu-kun wants to merge 1 commit into
wombatu-kun wants to merge 1 commit into
Commits
Commits on Aug 10, 2026
- committed
Vova Kolmakov