On Thu, 10 Sep 2015 09:31:01 +0200 Axel Beckert <abe@xxxxxxxxxxxxxxx> wrote: > I'm keeping this now in the Debian package as a patch for while unless > you think it's good enough to be committed upstream anyways. I've committed it: I can't see a problem with it. pws