Hi, it's been a month since I provided patches for #586275 and #588035. As they are not yet applied in the Git repository, I wonder if there's any problem with them.
Regards, Ansgar -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org