At Mon, 5 Oct 2020 16:07:50 -0400, Bruce Momjian <bruce@momjian.us> wrote in
> > Yes, that is the version I was going to apply. I will do it today.
> > Thanks.
>
> Patch applied to master, and the first paragraph diff was applied to PG
> 12-13 too.
Thanks!
regards.
--
Kyotaro Horiguchi
NTT Open Source Software Center