Thanks for your debdiff! However, since we merge that package from debian and that it's a very low priority problem, I would recommend to push this change to debian instead of changing it only in ubuntu. This will avoid extra work and unnecessary updates. I already forwarded a debdiff to debian to the linked debian bug report.
Thanks for your debdiff! However, since we merge that package from debian and that it's a very low priority problem, I would recommend to push this change to debian instead of changing it only in ubuntu. This will avoid extra work and unnecessary updates. I already forwarded a debdiff to debian to the linked debian bug report.