On Mon, 30 May 2016 13:25:21 +0200 Christian Pietsch <christian.pietsch at digitalcourage.de> wrote: > > Debian did this - I'm not sure if it does that any more. > > This bug is not present in current and recent versions of Debian. It was 2-3 years ago. I did not report it so maybe it went unnoticed.