On Mon, Aug 29, 2022 at 12:21 AM Kyotaro Horiguchi <[email protected]> wrote: > Mmm. That seems wrong. So forget about that. The proposed patch looks > fine to me.
Thanks for thinking it over. Committed and back-patched as far as v10, since that's the oldest supported release. -- Robert Haas EDB: http://www.enterprisedb.com
