thank you for your bug report, the patch comes from debian maybe you could open the bug on bugs.debian.org too?
thank you for your bug report, the patch comes from debian maybe you could open the bug on bugs.debian.org too?