Hi Gabriele, I included a patch for this bug report in the patch for #754873 as it was closely related.
So you can review it make any remarks there if you will. Thanks in advance, Joseph -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
