[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

bug#44223: gzip bug (make)

From: Paul Eggert
Subject: bug#44223: gzip bug (make)
Date: Tue, 3 Nov 2020 12:08:50 -0800
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101 Thunderbird/68.10.0

On 11/3/20 11:47 AM, Carlos Morales Socorro wrote:
Hi Paul, due to external reasons I had to reinstall the system and now it works... So I'm afraid it was a system dependent issue and not a general one.

Thanks for the heads-up. Closing the bug report.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]