GNU bug report logs - #74726
[PATCH gnome-team 00/18] Update GNOME Shell extensions

Previous Next

Package: guix-patches;

Reported by: Liliana Marie Prikler <liliana.prikler <at> gmail.com>

Date: Sat, 7 Dec 2024 12:59:02 UTC

Severity: normal

Tags: patch

Fixed in versions 75469, 74756, 74726, 73301, 73128, 72702, 72202, 71599

Done: Liliana Marie Prikler <liliana.prikler <at> gmail.com>

Bug is archived. No further changes may be made.

Full log

Message #59 received at 74726 <at> debbugs.gnu.org (full text, mbox):

From: Liliana Marie Prikler <liliana.prikler <at> gmail.com>
To: 74726 <at> debbugs.gnu.org
Subject: [PATCH gnome-team 18/18] gnu: Remove
 gnome-shell-extension-hide-app-icon.
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
This bug report was last modified 76 days ago.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.