On Fri, Mar 22, 2024 at 9:30 PM Etsuro Fujita <etsuro(dot)fujita(at)gmail(dot)com> wrote:> If there are no objections, I will apply the patch to HEAD only.
Done.
Best regards,Etsuro Fujita