> 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.
--Daniel Gustafsson https://vmware.com/