Re: Removing redundant grouping columns

Tom Lane <tgl@sss.pgh.pa.us>

View thread View on postgr.es

From: Tom Lane <tgl@sss.pgh.pa.us>

To: Richard Guo <guofenglinux@gmail.com>

Cc: vignesh C <vignesh21@gmail.com>, pgsql-hackers@lists.postgresql.org

Date: 2023-01-17T22:51:08Z

Lists: pgsql-hackers

Attachments

v5-0001-remove-redundant-GROUP-BY.patch (text/x-diff) patch v5-0001
v5-0002-remove-redundant-DISTINCT.patch (text/x-diff) patch v5-0002

I wrote:
> Yeah, sideswiped by 3c6fc5820 apparently.  No substantive change needed.

And immediately sideswiped by da5800d5f.

If nobody has any comments on this, I'm going to go ahead and push
it.  The value of the improvement is rapidly paling in comparison
to the patch's maintenance effort.

			regards, tom lane

Commits

Remove redundant grouping and DISTINCT columns.
- 8d83a5d0a267 16.0 landed
Add 250c8ee07ed to git-blame-ignore-revs
- ff23b592ad66 16.0 cited