Oh, sorry for disturbance. I was misled by the changelog of 3.8.2-1 (the version now in unstable) which says this bug was fixed. Now I see that everything has been sorted out, so it should indeed be re-closed.
-- Ilya -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
