Skip to content

Don't release tar.gz, just tar.xz

Ondřej Surý requested to merge no-dist-gz into master

I think it's quite safe to drop tar.gz these days and just distribute tar.xz. What do you all think? @jvcelak @dsalzman @dtaborsky ?

Merge request reports