1.2.13-3 fixes this bug. (Apparently, this is the first 1.2.13 package
that isn't actually 1.2.12 in disguise.)
Which means that two of my least favorite bugs in "unstable" Debian
have both been fixed within the past few days. Nice!
_
Torbjorn Andersson