Hello,
This is fixed in debian 0.7.13-3 currently pending a sync from debian [1].
[1] https://bugs.launchpad.net/ubuntu/+source/frescobaldi/+bug/421061
Hello,
This is fixed in debian 0.7.13-3 currently pending a sync from debian [1].
[1] https:/ /bugs.launchpad .net/ubuntu/ +source/ frescobaldi/ +bug/421061