On Fri, Sep 27, 2019 at 2:39 PM Tom Lane <tgl(at)sss(dot)pgh(dot)pa(dot)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