bug#10444: [PATCHES] {master} dist: distdir not unconditionally removed anymore for xz and lzip

[Stefano Lattarini]

On 01/08/2012 10:19 AM, Stefano Lattarini wrote:
> References:
>  <http://debbugs.gnu.org/cgi/bugreport.cgi?bug=10444>
>  <http://debbugs.gnu.org/cgi/bugreport.cgi?bug=10448>
> 
> I will push the patches to master in a day or two if there is no objection.
> 
Pushed now.

Thanks,
  Stefano