Subject: Re: [PATCH gnome-team v2 03/23] gnu: gnome-shell-extension-hide-app-icon: Deprecate.

From: Vivien Kraus <[email-masked]>
Date: Fri, 19 Jan 2024 23:20:46 +0100

Le mercredi 17 janvier 2024 à 17:20 +0100, Vivien Kraus a écrit :
> +  (deprecated-package "gnome-shell-extension-hide-app-icon"
> +                      gnome-shell-extension-just-perfection))
>  
>  (define-public gnome-shell-extension-just-perfection
>    (package

There’s a mishap here: you have to swap the order of gnome-shell-
extension-hide-app-icon and gnome-shell-extension-just-perfection in
the file.

Sorry.

Vivien