GNU bug report logs - #67347
[PATCH gnome-team] gnu: gnome-shell-extensions: Update to 44.0.

Previous Next

Full log

View this message in rfc822 format

From: help-debbugs <at> gnu.org (GNU bug Tracking System)
To: Vivien Kraus <vivien <at> planete-kraus.eu>
Cc: tracker <at> debbugs.gnu.org
Subject: bug#67347: closed ([PATCH gnome-team] gnu: gnome-shell-extensions:
 Update to 44.0.)
Date: Tue, 09 Jan 2024 11:25:01 +0000

[Message part 1 (text/plain, inline)]

Your message dated Tue, 09 Jan 2024 12:24:06 +0100
with message-id <636ce91a7a6f362999ca973bec266cadc3c15c2c.camel <at> planete-kraus.eu>
and subject line [PATCH gnome-team] gnu: gnome-shell-extensions: Update to 44.0.
has caused the debbugs.gnu.org bug report #67347,
regarding [PATCH gnome-team] gnu: gnome-shell-extensions: Update to 44.0.
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs <at> gnu.org.)


-- 
67347: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=67347
GNU Bug Tracking System
Contact help-debbugs <at> gnu.org with problems

[Message part 2 (message/rfc822, inline)]

From: Vivien Kraus <vivien <at> planete-kraus.eu>
To: guix-patches <at> gnu.org
Cc: rg <at> raghavgururajan.name, liliana.prikler <at> gmail.com,
 maxim.cournoyer <at> gmail.com
Subject: [PATCH gnome-team] gnu: gnome-shell-extensions: Update to 44.0.
Date: Tue, 21 Nov 2023 22:41:58 +0100

* gnu/packages/gnome.scm (gnome-shell-extensions): Update to 44.0.

Change-Id: Id5664a9f86f7a64179975cd9c5cbf7b6521c5844
---
 gnu/packages/gnome.scm | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/gnu/packages/gnome.scm b/gnu/packages/gnome.scm
index ab485cffb1..2f2aa76b7c 100644
--- a/gnu/packages/gnome.scm
+++ b/gnu/packages/gnome.scm
@@ -10612,7 +10612,7 @@ (define-public gnome-tweaks
 (define-public gnome-shell-extensions
   (package
     (name "gnome-shell-extensions")
-    (version "42.3")
+    (version "44.0")
     (source (origin
               (method url-fetch)
               (uri (string-append "mirror://gnome/sources/" name "/"
@@ -10620,7 +10620,7 @@ (define-public gnome-shell-extensions
                                   name "-" version ".tar.xz"))
               (sha256
                (base32
-                "1z3k4bvq8f2s0q9q7i093w4hrz289lci7xlib20aqa4z5sivxhhf"))))
+                "1aq1n75m1svsv0ppg66n9qch26rhjxcv3q33a3skf7hsydr5wd4c"))))
     (build-system meson-build-system)
     (arguments
      '(#:configure-flags '("-Dextension_set=all")))

base-commit: 1cc3b7e80f60a2a5a6a1400ed0b025efeae7a523
-- 
2.41.0

[Message part 3 (message/rfc822, inline)]

From: Vivien Kraus <vivien <at> planete-kraus.eu>
To: 67347-done <at> debbugs.gnu.org
Subject: [PATCH gnome-team] gnu: gnome-shell-extensions: Update to 44.0.
Date: Tue, 09 Jan 2024 12:24:06 +0100

Wonderful, this has been merged.

Thank you!

Vivien

Previous Next

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