For the record, I did submit a bug report on this (bug #613835).
-- To UNSUBSCRIBE, email to debian-user-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/loom.20110218t015004-...@post.gmane.org
