Subject: bug#6955: This bug should be closed

From: Harald Hanche-Olsen <[email-masked]>
Date: Sun, 20 Jan 2013 20:39:01 +0100 (CET)

I never received any responses to this bug report. It appears to have
been fixed, or at least I cannot reproduced it anymore, so it should
be closed.

- Harald