On Fri, Sep 27, 2019 at 2:39 PM Tom Lane <t...@sss.pgh.pa.us> wrote: > I think I just forgot about this thread. Shall we change it in HEAD > and see what happens? Maybe backpatch, but not till after 12.0 is out.
Please do. -- Peter Geoghegan
On Fri, Sep 27, 2019 at 2:39 PM Tom Lane <t...@sss.pgh.pa.us> wrote: > I think I just forgot about this thread. Shall we change it in HEAD > and see what happens? Maybe backpatch, but not till after 12.0 is out.
Please do. -- Peter Geoghegan