Subject: [PATCH gnome-team 18/18] gnu: Remove gnome-shell-extension-hide-app-icon.

From: Liliana Marie Prikler <[email-masked]>
Date: Sat, 7 Dec 2024 13:02:23 +0100

* gnu/packages/gnome-xyz.scm (gnome-shell-extension-hide-app-icon):
Delete variable.
---
 gnu/packages/gnome-xyz.scm | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/gnu/packages/gnome-xyz.scm b/gnu/packages/gnome-xyz.scm
index 0f3d7af610..bee7338c00 100644
--- a/gnu/packages/gnome-xyz.scm
+++ b/gnu/packages/gnome-xyz.scm
@@ -867,10 +867,6 @@ (define-public gnome-shell-extension-just-perfection
 certain elements or change animation speeds.")
     (license license:gpl3)))
 
-(define-public gnome-shell-extension-hide-app-icon
-  (deprecated-package "gnome-shell-extension-hide-app-icon"
-                      gnome-shell-extension-just-perfection))
-
 (define-public gnome-shell-extension-dash-to-panel
   (package
     (name "gnome-shell-extension-dash-to-panel")
-- 
2.46.0