On November 27, 2014 5:20:09 AM CET, Mike Gabriel <mike.gabriel at das-netzwerkteam.de> wrote: >However, this seems so >low-prio, I am tempted to close this bug and tag it as "wontfix". That's why I set myself as bug owner. Don't worry about it. Mihai