On 01/28/2016 12:57 PM, Jonas Smedegaard wrote:
Thanks for the suggestion. Easier to track if you file a bugreport about this.
Here we go: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=813021 Till