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 [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
