On Fri, Sep 27, 2019 at 2:39 PM Tom Lane <[email protected]> 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