On 13-06-21 06:03 AM, Jakub Wilk wrote:
Anyway, please go ahead and commit the patch.
The patch has been submitted to the Subversion repository. Kind regards, Mike -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org