Fix up grouping sets reorder

Edit
Title Fix up grouping sets reorder
Topic Bug Fixes
Created 2019-06-17 09:52:29
Last modified 2019-07-02 04:26:34 (5 months, 1 week ago)
Latest email 2019-06-30 23:00:33 (5 months, 1 week 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
Edit