I couldn’t fully apply Igor’s patch for some reason, so I had to patch it from scratch. At a quick glance, it appears similar though.
> On Jul 14, 2025, at 21:24, Daniel Jakots <[email protected]> wrote: > > On Mon, 14 Jul 2025 20:04:33 -0500, Horia Racoviceanu > <[email protected]> wrote: > >> Accepted, with minor modifications. Thank you! > > Can you point out the minor modifications please? It's easier than > checking a diff of diffs.
