Robert Haas <[email protected]> writes: > On Mon, Nov 24, 2025 at 1:26 PM Tom Lane <[email protected]> wrote: >> I don't understand leaving it in place for GIN.
> I haven't tried removing it for GIN so I don't know how awkward that
> would be or for what reasons, but...
Well, either Peter just ran out of energy or there is actually some
notational value in Pointer. If it's the latter, I'd like to know.
regards, tom lane
