Re: [dev-serveez] tar.xz ok? + release coordination

[Mike Gran]

> From: Thien-Thi Nguyen <address@hidden>

>I'd like for "make dist" to make a tar.xz instead of a tar.gz,
>via this change:


<crankyoldman>


For me anyway, any time saved in downloading a slightly smaller
file is offset by the time wasted trying to remember the xz
equivalent of tar xzvf.

</crankyoldman>

-Mike