Subject: Re: bug#43005: make dist fails: "store file names embedded in the distribution"
From: Jan Nieuwenhuizen <[email-masked]>
To: Vagrant Cascadian <[email-masked]>
Cc: [email-masked], Ludovic Courtès <[email-masked]>
Date: Wed, 16 Sep 2020 23:44:11 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Vagrant Cascadian writes:

Hi!

> On 2020-09-16, Ludovic Courtès wrote:
>> Hello!
>>
>> Jan Nieuwenhuizen <[email-masked]> skribis:
>>> This is the closing parenthesis of a string-append that has only this
>>> one big string; what about removing that string-append altogether?
>>
>> Agreed.
>>
>> Vagrant, could you push it to core-updates with this change?
>
> Not in a good position to push anything for a few days; if someone else
> could that would be great!

Sure.  Pushed with minor change (removing encompassing string-append) to
core-updates as 7467f9857dc530861735ebffe2c9376c8dfb80b7

Thanks!
Janneke

-- 
Jan Nieuwenhuizen <[email-masked]> | GNU LilyPond http://lilypond.org
Freelance IT http://JoyofSource.com | Avatar® http://AvatarAcademy.com