On Tue, Aug 15, 2023 at 7:50 PM Etsuro Fujita <etsuro(dot)fujita(at)gmail(dot)com>wrote:
> So we should have modified the second one as well? Attached is a> small patch for that.
Agreed, nice catch! +1 to the patch.
ThanksRichard