David Rowley Mon, 17 Oct 2022 17:00:44 -0700
On Tue, 18 Oct 2022 at 08:07, Bruce Momjian <br...@momjian.us> wrote: > Patch applied back to PG 10, thanks.
Thanks. David