On Mon, Aug 29, 2022 at 12:21 AM Kyotaro Horiguchi
<horikyota.ntt@gmail.com> 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