[plug] Zipping

[Jeremy Kerr]

Hi Kevin,

> Had anyone noticed that the email archives in 
> http://lists.plug.org.au/pipermail/plug/ are double-gzipped?  At least 
> the last 3 digests are.

Looks ok from here:

  $ wget -qO - \
     http://lists.plug.org.au/pipermail/plug/2018-October.txt.gz |
     gunzip -c |
     file -
  /dev/stdin: ASCII text

Maybe your browser is doing the second gzip?

Cheers,


Jeremy