>>>>> On Thu, 13 Nov 2014 13:44:42 +0100, Moritz Struebe <Moritz.Struebe at cs.fau.de> said: > Here's a tiny patch fixing the debhelper-but-no-misc-depends warning. Thanks. Already applied. I push this soon. -- regards Thomas