On 2019-09-27 14:43:00 -0700, Peter Geoghegan wrote: > 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.
+1