Im not sure if the suggested patch is ok or not, or provide a better patch? I asked on debian devel mailinglist[0]]/irc but did not get much response. It would be a pitty if Jessie would be released without it. Can someone advice me on this?
Regards, Martijn van Brummelen [0] https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=759559 -- To UNSUBSCRIBE, email to debian-bugs-rc-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
