On Fri, Jul 22, 2022 at 12:07 PM Fujii Masao
<[email protected]> wrote:
> Pushed.

This is my oversight in commit 27e1f1456.  :-(

Thanks for the report and fix, Fujii-san!

Best regards,
Etsuro Fujita


Reply via email to