[bug#68556] [PATCH gnome-team v2 03/23] gnu: gnome-shell-extension-hide-app-icon: Deprecate.

[Vivien Kraus]

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