(In reply to comment #14) > Pushed what (I hope) is a fix; at least it shouldn't crash anymore:
Thanks! I had a local build from iirc November 30 with the same bug. So I could try to apply your patch and see if it solves the problem?
(In reply to comment #14)
> Pushed what (I hope) is a fix; at least it shouldn't crash anymore:
Thanks!
I had a local build from iirc November 30 with the same bug. So I could try to apply your patch and see if it solves the problem?