On Mon, Mar 27, 2023 at 4:52 PM Peter Geoghegan <[email protected]> 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
