First time here? Check out the FAQ!
answered 2013-07-23 07:03:22 +0100
As Volker Braun pointed out in a comment, this is a known bug. I just wrote a patch to fix this, and submitted it there. Let's see how the devs like it.