On 03.02.23 00:12, Tom Lane wrote:
> Peter Eisentraut <peter(dot)eisentraut(at)enterprisedb(dot)com> writes:
>> Here is a patch that removes some unused leftovers from commit
>> cfd9be939e9c516243c5b6a49ad1e1a9a38f1052 (old).
>
> Ugh. Those are outright wrong now, aren't they? Better nuke 'em.
done