Subject: Re: bug#43005: make dist fails: "store file names embedded in the distribution"

From: zimoun <[email-masked]>
Date: Wed, 16 Sep 2020 13:13:33 +0200

On Wed, 16 Sep 2020 at 12:49, Jan Nieuwenhuizen <[email-masked]> 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