GNU bug report logs - #68556
[PATCH gnome-team 00/25] Update the GNOME Shell extensions

Previous Next

Package: guix-patches;

Reported by: Vivien Kraus <vivien <at> planete-kraus.eu>

Date: Wed, 17 Jan 2024 23:13:01 UTC

Severity: normal

Tags: patch

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

Bug is archived. No further changes may be made.

Full log

View this message in rfc822 format

From: Vivien Kraus <vivien <at> planete-kraus.eu>
To: 68556 <at> debbugs.gnu.org
Cc: rg <at> raghavgururajan.name, vivien <at> planete-kraus.eu, liliana.prikler <at> gmail.com, maxim.cournoyer <at> gmail.com
Subject: [bug#68556] [PATCH gnome-team v2 13/23] gnu: gnome-shell-extension-radio: Update to 21.
Date: Wed, 17 Jan 2024 23:19:27 +0100

* gnu/packages/gnome-xyz.scm (gnome-shell-extension-radio): Update to 21.

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

diff --git a/gnu/packages/gnome-xyz.scm b/gnu/packages/gnome-xyz.scm
index b9d0d29706..7cd0feeded 100644
--- a/gnu/packages/gnome-xyz.scm
+++ b/gnu/packages/gnome-xyz.scm
@@ -1257,7 +1257,7 @@ (define-public gnome-shell-extension-blur-my-shell
 (define-public gnome-shell-extension-radio
   (package
     (name "gnome-shell-extension-radio")
-    (version "20")
+    (version "21")
     (source (origin
               (method git-fetch)
               (uri (git-reference
@@ -1267,7 +1267,7 @@ (define-public gnome-shell-extension-radio
               (file-name (git-file-name name version))
               (sha256
                (base32
-                "01dmziad9g7bs3hr59aaz3mivkc6rqfyb9bz2v202zk22vcr5a2y"))))
+                "1ghk95q3lhliz3his58hh2ql4p9csh6llzip412vwf29zdkr58s2"))))
     (build-system copy-build-system)
     (arguments
      (list
-- 
2.41.0
This bug report was last modified 1 year and 108 days ago.

Previous Next

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