On Tue, 18 Oct 2022 at 08:07, Bruce Momjian <bruce(at)momjian(dot)us> wrote:> Patch applied back to PG 10, thanks.
Thanks.
David