On Fri, Aug 1, 2025 at 8:55 PM Fujii Masao <masao(dot)fujii(at)gmail(dot)com> wrote:> Unless there are any objections, I plan to commit this and> back-patch to v15.
I've pushed the patch. Thanks!
Regards,
-- Fujii Masao