Peter Eisentraut <peter.eisentraut@enterprisedb.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.
regards, tom lane