Processing commands for control@bugs.debian.org: > forwarded 289096 Christian Marillat <marillat@free.fr> Bug#289096: tetex-doc: pdf files should not be gzipped Noted your statement that Bug has been forwarded to Christian Marillat <marillat@free.fr>. > stop Stopping processing here. Please contact me if you need assistance. Debian bug tracking system administrator (administrator, Debian Bugs database)