Processing commands for control@bugs.debian.org: > merge 83578 113631 Bug#83578: tetex-bin: xdvi doesn't auto-decompress gzipped dvis, contrary to docs Bug#113631: xdvi doesn't display .dvi.gz files Merged 83578 113631. > End of message, stopping processing here. Please contact me if you need assistance. Debian bug tracking system administrator (administrator, Debian Bugs database)