Subject: Re: bug#61731: [PATCH] gnu: Add evdi, libevdi.
From: Ludovic Courtès <[email-masked]>
To: Demis Balbach <[email-masked]>
Cc: [email-masked]
Date: Sun, 05 Mar 2023 22:58:16 +0100
List-Id: <debbugs-submit.debbugs.gnu.org>

Hi,

Demis Balbach <[email-masked]> skribis:

> ---
>  gnu/packages/linux.scm | 67 +++++++++++++++++++++++++++++++++++++++++-
>  1 file changed, 66 insertions(+), 1 deletion(-)

I split it into two different commits, as per our conventions, added a
commit log, and…

> +                              (copy-file "libevdi.so"
> +                                         (string-append lib "/libevdi.so"))))))))

… changed this to an ‘install-file’ call.

Thanks,
Ludo’.