On Fri, Aug 7, 2020 at 2:55 PM Etsuro Fujita <etsuro.fuj...@gmail.com> wrote: > On Thu, Aug 6, 2020 at 12:20 AM Etsuro Fujita <etsuro.fuj...@gmail.com> wrote: > > Will push the patch tomorrow. > > Done. (I didn't have time for this, because I was terribly busy with > other stuff.)
I mean I didn't have time for this *yesterday*. Best regards, Etsuro Fujita
