On Wed, Nov 12, 2014 at 10:43 AM, Antonio Terceiro wrote: > To optimize the storage requirements on ci.debian.net, I have just > committed a change to how logs are stored¹. Basically, all logs will now > be compressed with gzip, and therefore all *.log will be renamed to > *.log.gz. Does this mean the links to ci.debian.net logs in the PTS and distro-tracker need updating? -- bye, pabs https://wiki.debian.org/PaulWise