> On 14 Mar 2024, at 07:02, Tatsuro Yamada <tatsuro(dot)yamada(at)ntt(dot)com> wrote:
> So, I created a patch to fix them.
Thanks, applied.
--Daniel Gustafsson