Re: tar.xz ok? + release coordination

> From: Thien-Thi Nguyen <[email protected]>

>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