Thanks for your bug report!
Version 0.7.2 is available in Debian unstable, marking it for sync / merge.
Thanks for your bug report!
Version 0.7.2 is available in Debian unstable, marking it for sync / merge.