Re: Issue with query_is_distinct_for() and grouping sets

[Richard Guo]

On Thu, Oct 23, 2025 at 4:07 PM Richard Guo <guofengli...@gmail.com> wrote:
> Fair point.  Patch updated with a revised commit message.

... and then pushed.

- Richard