Yes, I menat the 13.2, not 12.3, sorry.
I packaged and tried that version for ubuntu and it seems to resolve the problem.
Yes, I menat the 13.2, not 12.3, sorry.
I packaged and tried that version for ubuntu and it seems to resolve the problem.