Hi,
On 2019-03-25 18:02:59 -0700, Peter Geoghegan wrote:
> On Mon, Mar 25, 2019 at 6:00 PM Andres Freund <andres@anarazel.de> 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