Subject: Re: [bug#54327] [PATCH 3/3] gnu: sdcc: Update to 4.2.0.

From: Maxime Devos <[email-masked]>
Date: Fri, 11 Mar 2022 08:40:21 +0100

Simon South schreef op do 10-03-2022 om 07:31 [-0500]:
> -index 88f8c98..a36db81 100644
> +index 3720fd6..5a0d0a8 100644
>  --- a/doc/README.txt
>  +++ b/doc/README.txt
> -@@ -35,10 +35,9 @@ Exception are pic device libraries and header files which are derived
> +@@ -37,10 +37,9 @@ Exception are pic device libraries and header files which are derived
>   from Microchip header (.inc) and linker script (.lkr) files. Microchip
>   requires that "The header files should state that they are only to be
>   used with authentic Microchip devices" which makes them incompatible
> @@ -1276,13 +1293,13 @@ index 88f8c98..a36db81 100644
>  +and run-time options that enable their use) are omitted in the SDCC
>  +package distributed with GNU Guix.
>   
> 
> 
> 
> - See:
> - 
> + However: Many think that the Microchip requirement is not legally enforceable,
> + arguing that the header files only contain noncopyrightable facts.

This documentation change was not mentioned in the commit message.
Could you give some context?

Greetings,
Maxime.