Hi Pierre, I understand you may be busy, but Jakub wrote a patch for this bug. You've submitted without acknowledging the work. Thank you both for contributing to Debian!
regards, -- Gustavo "stratus" Franco -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
