Hi As noted in a nearby review of some similar code[1], commit 7a2fe9bd made merge append very slightly more efficient, but nobody told cost_merge_append about the change. I doubt it makes much difference to the final cost in practice but I figured it might be worth correcting the comment. Does this make sense?
[1] https://www.postgresql.org/message-id/CAEepm%3D3o9um4pi0EphOGD7u2f862hX%2BBhwD5zko-TAk_Qj1JeQ%40mail.gmail.com -- Thomas Munro http://www.enterprisedb.com
tweak-merge-append-costing.patch
Description: Binary data
-- Sent via pgsql-hackers mailing list (pgsql-hackers@postgresql.org) To make changes to your subscription: http://www.postgresql.org/mailpref/pgsql-hackers
