|
From: | Vivien Kraus |
Subject: | [bug#68556] [PATCH gnome-team v2 03/23] gnu: gnome-shell-extension-hide-app-icon: Deprecate. |
Date: | Fri, 19 Jan 2024 23:20:46 +0100 |
User-agent: | Evolution 3.48.4 |
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
[Prev in Thread] | Current Thread | [Next in Thread] |