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