[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#43005: make dist fails: "store file names embedded in the distributi
|
From: |
zimoun |
|
Subject: |
bug#43005: make dist fails: "store file names embedded in the distribution" |
|
Date: |
Wed, 16 Sep 2020 13:13:33 +0200 |
On Wed, 16 Sep 2020 at 12:49, Jan Nieuwenhuizen <janneke@gnu.org> wrote:
> Meanwile we have a duplicate bug: <https://bugs.gnu.org/43435>
> (it finally rang a bell on IRC...).
I have closed the duplicate referencing this one. Sorry for missing this one.
Cheers,
simon