On Tue, 26 Mar 2019 at 09:00, Tom Lane <tgl@sss.pgh.pa.us> wrote:
>
> David Rowley <david.rowley@2ndquadrant.com> writes:
> > [ drop-useless-merge-appends-15.patch ]
>
> Pushed with some minor adjustments.
Thank for all your work on this, and thanks for the final push.
FWIW, you should probably have credited yourself as the main author
since I don't think there was much of my patch left.
--
David Rowley http://www.2ndQuadrant.com/
PostgreSQL Development, 24x7 Support, Training & Services