On Mon, Nov 9, 2026 at 6:51 AM Lucas Jeffrey <[email protected]> wrote: > I created a v0 of a patch to solve this issue
Thanks for the report and patch! LGTM. This issue was introduced by 0f9d4d7c12d, right? If so, we should backpatch the fix to v19, where that commit was introduced, even though this issue seems unlikely to occur in practice? Regards, -- Fujii Masao
