On 03.02.23 00:12, Tom Lane wrote:
Peter Eisentraut <[email protected]> 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
