Thanks for forwarding it to Debian too. You might be interested in https://wiki.ubuntu.com/Bugs/ReportingToDebian (especially the submittodebian tool). :-)
Thanks for forwarding it to Debian too. You might be interested in https:/ /wiki.ubuntu. com/Bugs/ ReportingToDebi an (especially the submittodebian tool). :-)