Backport "push distributivity rule to source future" to 3.8.0#24401
Merged
WojciechMazur merged 1 commit intorelease-3.8.0from Nov 12, 2025
Merged
Backport "push distributivity rule to source future" to 3.8.0#24401WojciechMazur merged 1 commit intorelease-3.8.0from
WojciechMazur merged 1 commit intorelease-3.8.0from
Commits
Commits on Nov 12, 2025
- authored andcommitted
