Hi, On 2019-03-25 18:02:59 -0700, Peter Geoghegan wrote: > On Mon, Mar 25, 2019 at 6:00 PM Andres Freund <[email protected]> wrote: > > Hm. Fair question. I guess if there's any potential external users of > > it, they'd likely need to make v12 adjustments anyway? > > I'm not sure that they'd need to make adjustments.
Yea, the probably do: https://git.postgresql.org/gitweb/?p=postgresql.git;a=commitdiff;h=c2fe139c201c48f1133e9fbea2dd99b8efe2fadd#patch13 etc > I think it's unlikely that there are any external users, though. Yea, agreed. I'll remove it. - Andres
