On Wed, Nov 19, 2025 at 10:51 PM Fujii Masao <[email protected]> wrote: > > On Wed, Nov 19, 2025 at 1:00 AM Bruce Momjian <[email protected]> wrote: > > Yeah, you are probably right. I didn't see that. You should apply it > > since it is your patch, thanks. > > Okay, so barring any objection, I will commit the attached patch.
I've pushed the patch. Thanks! Regards, -- Fujii Masao
