Subject: Re: [bug#44127] [PATCH] Bombadillo build fix
From: Christopher Baines <[email-masked]>
To: raingloom <[email-masked]>
Cc: [email-masked]
Date: Fri, 23 Oct 2020 17:27:02 +0100
List-Id: <debbugs-submit.debbugs.gnu.org>

raingloom <[email-masked]> writes:

> Just a quick fix. install-licenses was trying to overwrite a file
> installed by a previous (custom) phase, but copy-file failed with a
> permission error.

I tweaked the commit message a bit, but I've pushed this now as
2371abcd0ece81d6b7ca3d03aff17c81bf8a5d85. Thanks!