On Mon, 23 Sept 2024 at 18:28, Tatsuo Ishii <ishii(at)postgresql(dot)org> wrote:> I agree and made necessary changes. See attached v4 patches.
Looks good to me.
David