severity 619786 serious kthxbye setting to serious again as this now happens with dash from unstable. if you think this is a dash problem and not a texinfo one please reassign. Regards Christoph -- 9FED 5C6C E206 B70A 5857 70CA 9655 22B9 D49A E731 Debian Developer | Lisp Hacker | CaCert Assurer