On 03/03/2014 01:20 AM, Trevor Nonce wrote:
https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=708036 is duplicate https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=734661 fixes #690568.
Thanks. Looks like it is really time to update to 3.8.2
Greetings, Torsten
