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


Reply via email to