Andreas, > Running reportbug on the system where that actually happened would > have collected valueable system information and logfiles for > debugging.
I have a new report using reportbug, see: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=812396 Let me know if you need additional information or testing on my side. Regards, -- Pascal Obry / Magny Les Hameaux (78) The best way to travel is by means of imagination http://v2p.fr.eu.org http://www.obry.net gpg --keyserver keys.gnupg.net --recv-key F949BD3B