fixed 1098577 4.1.2~ds-3 thanks
Closing because we have fixed this with version 4.1.2~ds-3.
Ok. For completeness I'm setting the fixed version properly (if you ever forget to close the bug in the changelog, this may still be done and it's useful after the package was uploaded). Thanks.
