On Wed, Sep 14, 2016 at 01:00:46PM +0200, Andreas Tille wrote: > a) more friendly Please check the facts. The "initial email" which started this discussion was not really the one in -devel but this one: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=837614#19 I think that's friendly enough, but feel free to disagree. Thanks.