I confirm that this fix works. Thanks a lot Kevinf for finding it!
So I think this bug is fixed. I'd like to change the status, but I don't know which one to choose: fix released or fix committed?
I confirm that this fix works. Thanks a lot Kevinf for finding it!
So I think this bug is fixed. I'd like to change the status, but I don't know which one to choose: fix released or fix committed?