Subject: Re: [PATCH] Rename python-platformio to platformio

From: Liliana Marie Prikler <[email-masked]>
Date: Wed, 08 Jun 2022 20:56:32 +0200

Am Mittwoch, dem 08.06.2022 um 14:18 -0400 schrieb [email-masked]:
> From: Peter Polidoro <[email-masked]>
Provide ChangeLogs, also order your commits.

> ---
>  gnu/packages/embedded.scm | 4 ++--
>  1 file changed, 2 insertions(+), 2 deletions(-)
> 
> diff --git a/gnu/packages/embedded.scm b/gnu/packages/embedded.scm
> index 79605d8be5..5b5192c751 100644
> --- a/gnu/packages/embedded.scm
> +++ b/gnu/packages/embedded.scm
> @@ -1557,9 +1557,9 @@ (define-public sdcc
>                     license:public-domain
>                     license:zlib))))
>  
> -(define-public python-platformio
> +(define-public platformio
>    (package
> -    (name "python-platformio")
> +    (name "platformio")
This change should probably be squashed onto the previous one :)