Alexander Korotkov <aekorotkov(at)gmail(dot)com> writes:
> I'm going to push this and backpatch to all supported versions if no objections.
Push yes, but I'd counsel against back-patching. People don't
generally like unexpected plan changes in stable versions, and
that's what a costing change could produce. There's no argument
that we are fixing a failure or wrong answer here, so it doesn't
seem like back-patch material.
regards, tom lane