On Fri, Jul 22, 2022 at 12:07 PM Fujii Masao<masao(dot)fujii(at)oss(dot)nttdata(dot)com> wrote:> Pushed.
This is my oversight in commit 27e1f1456. :-(
Thanks for the report and fix, Fujii-san!
Best regards,Etsuro Fujita