Of course, as soon as I file the bug, THEN I find a likely duplicate:
https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1032522

Reply via email to