On 12/16/2014 06:13 PM, Julien Cristau wrote: > I'm pretty sure what you ran into is a different issue, see > https://bugs.debian.org/771943. > > Cheers, > Julien >
You're right. It looks more like the bug you mentioned. Best regards, Jochen -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
