On Wed, 20 Jan 2016 23:32:11 +0100 Harald van Dijk <harald@xxxxxxxxxxx> wrote: > This is https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=379227, > which did get fixed already, but it was after 0.5.8. happy to see that it is already fixed and sorry for double reporting -- To unsubscribe from this list: send the line "unsubscribe dash" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html