Bug#264242: Very old bug, do you still have the problem ?
tags 264242 +moreinfo
the bug you've reported is ~2 years old.
Can you still reproduce this bug? If yes please give us a short note, if not, this bug will be closed in a few weeks (but you are of course
free to reopen it).