Hello,
new version 0.76-8 (uploaded today) has completely reworked /debian part
and fixes the problem.

We did not notice the bug before the release,
so it is not listed in the changelog
and will not be closed automatically.

Jan

Reply via email to