On Wed, Mar 15, 2023 at 7:18 PM Etsuro Fujita <etsuro.fuj...@gmail.com> wrote: > This would be harmless, so I am planning to apply the patch to HEAD only.
I forgot to mention that this was added in v14. Done that way. Best regards, Etsuro Fujita
On Wed, Mar 15, 2023 at 7:18 PM Etsuro Fujita <etsuro.fuj...@gmail.com> wrote: > This would be harmless, so I am planning to apply the patch to HEAD only.
I forgot to mention that this was added in v14. Done that way. Best regards, Etsuro Fujita