Processing commands for control@bugs.debian.org: > tags 83578 + potato Bug#83578: tetex-bin: xdvi doesn't auto-decompress gzipped dvis, contrary to docs Tags added: potato > End of message, stopping processing here. Please contact me if you need assistance. Darren Benham (administrator, Debian Bugs database)