Hi. It seems that this bug has been fixed, so please update the status of this bug to either done or closed so that apt-listbugs doesn't flag this as an "open" bug anymore.
Thanks in advance. -- Robert Miesen -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]