[PATCH] gnu: gnome-shell-extension-dash-to-panel: Update to 37.

DoneSubmitted by Giacomo Leidi.
Details
2 participants
  • Giacomo Leidi
  • Nicolas Goaziou
Owner
unassigned
Severity
normal
G
G
Giacomo Leidi wrote on 16 Jun 2020 21:42
(address . guix-patches@gnu.org)(name . Giacomo Leidi)(address . goodoldpaul@autistici.org)
20200616194259.21062-1-goodoldpaul@autistici.org
* gnu/packages/gnome-xyz.scm (gnome-shell-extension-dash-to-panel): Update to 37.
---
gnu/packages/gnome-xyz.scm | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)

Toggle diff (24 lines)
diff --git a/gnu/packages/gnome-xyz.scm b/gnu/packages/gnome-xyz.scm
index 21838ff0cd..9bef45739e 100644
--- a/gnu/packages/gnome-xyz.scm
+++ b/gnu/packages/gnome-xyz.scm
@@ -419,7 +419,7 @@ currently focused application in the top panel of the GNOME shell.")
 (define-public gnome-shell-extension-dash-to-panel
   (package
     (name "gnome-shell-extension-dash-to-panel")
-    (version "26")
+    (version "37")
     (source (origin
               (method git-fetch)
               (uri (git-reference
@@ -427,7 +427,7 @@ currently focused application in the top panel of the GNOME shell.")
                     (commit (string-append "v" version))))
               (sha256
                (base32
-                "1phfx2pblygpcvsppsqqqflm7qnz46mqkw29hj0nv2dn69hf4xbc"))
+                "0c8p8cmwjh6rpj7jwj1lccpdv5l0bazwywg8hpwgnqy9f4rxmrz3"))
               (file-name (git-file-name name version))))
     (build-system gnu-build-system)
     (arguments
-- 
2.26.2
N
N
Nicolas Goaziou wrote on 16 Jun 2020 23:09
(name . Giacomo Leidi)(address . goodoldpaul@autistici.org)(address . 41899-done@debbugs.gnu.org)
87wo46afay.fsf@nicolasgoaziou.fr
Hello,

Giacomo Leidi <goodoldpaul@autistici.org> writes:

Toggle quote (3 lines)
> * gnu/packages/gnome-xyz.scm (gnome-shell-extension-dash-to-panel):
> Update to 37.

Applied. Thank you.

Regards,
--
Nicolas Goaziou
Closed
?
Your comment

This issue is archived.

To comment on this conversation send email to 41899@debbugs.gnu.org