Brian May <bam@debian.org> writes: > See bug #87371. The title is wrong. devfs is not the issue, /dev/pts > is (I think). I don't think there is any intention to fix the > bug. Over 4 years old. Perhaps this is grounds to drop the package > from Debian. I'd say so. Or fix the bug. -miles -- .Numeric stability is probably not all that important when you're guessing.