On Mon, Mar 27, 2023 at 4:52 PM Peter Geoghegan <pg(at)bowt(dot)ie> wrote:
> This is fine, as far as it goes. Obviously it fixes the immediate problem.
OK, I've committed and back-patched this fix to v14, just like the
erroneous commit that created the issue.
--
Robert Haas
EDB: http://www.enterprisedb.com