Re: Removing redundant grouping columns

[David Rowley]

On Wed, 18 Jan 2023 at 14:55, Richard Guo <guofengli...@gmail.com> wrote:
> Yeah, I noticed this too yesterday.  I reviewed through these two
> patches yesterday and I think they are in good shape now.

I'm currently reviewing the two patches.

David