Bug#263988: very old bug, do you still have the problem ?
tags 263988 +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).