On 2019-09-27 14:43:00 -0700, Peter Geoghegan wrote:
> On Fri, Sep 27, 2019 at 2:39 PM Tom Lane <tgl@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