> On 14 Aug 2026, at 21:36, Zsolt Parragi <[email protected]> wrote:
> I am not 100% happy with the shape of the patch, but I couldn't come > up with a better solution even after staring at it for a long time, > and I think it is at least correct and good enough. But maybe somebody > has a better idea for solving this problem. Thanks! I wasn't able to come up with a mor elegant solution either when staring at it but I'll take another look at it together with the other fixes staged. -- Daniel Gustafsson
