On Sun, Aug 1, 2021 at 4:59 PM Etsuro Fujita <etsuro(dot)fujita(at)gmail(dot)com> wrote:> But I plan on applying the patch tomorrow.
Done, in hopes of making the buildfarm back to green.
Best regards,Etsuro Fujita