I forgot to mention that the bug looks similar to #525713, but it is apparently not the same, since: 1) that one doesn't mention the "odd"ity of the bug, 2) this one is _not_ solved by just switching to a virtual console and back.
Pietro -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
