On Sat, Oct 18, 2014 at 04:33:28PM +0200, Jeroen Massar <jeroen at massar.ch> wrote a message of 19 lines which said: > Don't forget to file a bug report at your distribution. Done https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=765831