Fix up grouping sets reorder

Title

Topic

Bug Fixes

Created

2019-06-17 09:52:29

Last modified

2019-07-02 04:26:34 (4 years, 10 months ago)

Latest email

2019-06-30 23:00:33 (4 years, 10 months ago)

Status

2019-07: Committed

Target version

Authors

Richard Guo (richardguo)

Reviewers

Jeff Davis (jdavis)Become reviewer

Committer

Andrew Gierth (rhodiumtoad)

Links

Emails

Fix up grouping sets reorder: First at 2019-06-17 09:23:11 by Richard Guo <riguo at pivotal.io>
Latest at 2019-06-30 23:00:33 by Andrew Gierth <andrew at tao11.riddles.org.uk>
Latest attachment (v1-0001-Fix-up-grouping-sets-reorder.patch) at 2019-06-17 09:23:11 from Richard Guo <riguo at pivotal.io>
Attachment (v1-0001-Fix-up-grouping-sets-reorder.patch) at 2019-06-17 09:23:11 from Richard Guo <riguo at pivotal.io> (Patch: Yes)

History

When	Who	What
2019-07-02 04:26:34	Tom Lane (tgl)	Closed in commitfest 2019-07 with status: Committed
2019-07-02 04:26:34	Tom Lane (tgl)	Changed committer to rhodiumtoad
2019-07-01 21:44:41	Jeff Davis (jdavis)	Added jdavis as reviewer
2019-06-17 09:53:17	Richard Guo (richardguo)	Changed authors to Richard Guo (richardguo)
2019-06-17 09:52:30	Richard Guo (richardguo)	Attached mail thread CAN_9JTzyjGcUjiBHxLsgqfk7PkdLGXiM=pwM+=ph2LsWw0WO1A@mail.gmail.com
2019-06-17 09:52:29	Richard Guo (richardguo)	Created patch record