On Mon, Mar 27, 2023 at 4:52 PM Peter Geoghegan <p...@bowt.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
