[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.
| [Prev in Thread] |
Current Thread |
[Next in Thread] |
- bug#44223: gzip bug (make),
Paul Eggert <=