[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#10444: [PATCHES] {master} dist: distdir not unconditionally removed
|
From: |
Stefano Lattarini |
|
Subject: |
bug#10444: [PATCHES] {master} dist: distdir not unconditionally removed anymore for xz and lzip |
|
Date: |
Wed, 11 Jan 2012 18:59:17 +0100 |
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