Jens Ritter <jens@weh.rwth-aachen.de> writes: > Shall they be gzipped or not? (Up to the copyright file, where a > policy exists) As Luis Francisco Gonzalez pointed out offline, this is point 5.3 in the current policy manual. Sorry I missed that. --- Jens.Ritter@weh.rwth-aachen.de grimaldi@debian.org Key ID: 2048/E451C639 Jens Ritter Key fingerprint: 5F 3D 43 1E 24 1E CC 48 1E 05 93 3A A7 10 73 37