On 2. Jan 2023, at 3.26, Timo Sirainen <t...@sirainen.com> wrote: > > On 2. Jan 2023, at 3.21, Timo Sirainen <t...@sirainen.com> wrote: >> >> >>> It may happen, but it is hard to reproduce. >> >> Are you able to try if this patch happens to fix it? : > > Actually, looking at it slightly more, there may be another bug in it, > although I'm not sure how it affects the behavior. So try this instead - I'll > also run it through our CI to see if it causes any issues:
At least CI passed with this, so it's not badly broken. :)