At Fri, 3 Dec 2021 14:32:54 +0100, Daniel Gustafsson <daniel(at)yesql(dot)se> wrote in
> > On 2 Dec 2021, at 16:04, Peter Eisentraut <peter(dot)eisentraut(at)enterprisedb(dot)com> wrote:
>
> > This change looks correct to me.
>
> Thanks for review, I've pushed this backpatched (in part) down to 10.
Thanks for revising and comitting this.
regards.
--
Kyotaro Horiguchi
NTT Open Source Software Center