GNU bug report logs - #41899
[PATCH] gnu: gnome-shell-extension-dash-to-panel: Update to 37.

Previous Next

Package: guix-patches;

Reported by: Giacomo Leidi <goodoldpaul <at> autistici.org>

Date: Tue, 16 Jun 2020 19:44:02 UTC

Severity: normal

Tags: patch

Done: Nicolas Goaziou <mail <at> nicolasgoaziou.fr>

Bug is archived. No further changes may be made.

Full log


View this message in rfc822 format

From: help-debbugs <at> gnu.org (GNU bug Tracking System)
To: Nicolas Goaziou <mail <at> nicolasgoaziou.fr>
Cc: tracker <at> debbugs.gnu.org
Subject: bug#41899: closed ([PATCH] gnu: gnome-shell-extension-dash-to-panel:
 Update to 37.)
Date: Tue, 16 Jun 2020 21:10:02 +0000
[Message part 1 (text/plain, inline)]
Your message dated Tue, 16 Jun 2020 23:09:25 +0200
with message-id <87wo46afay.fsf <at> nicolasgoaziou.fr>
and subject line Re: [bug#41899] [PATCH] gnu: gnome-shell-extension-dash-to-panel: Update to 37.
has caused the debbugs.gnu.org bug report #41899,
regarding [PATCH] gnu: gnome-shell-extension-dash-to-panel: Update to 37.
to be marked as done.

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


-- 
41899: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=41899
GNU Bug Tracking System
Contact help-debbugs <at> gnu.org with problems
[Message part 2 (message/rfc822, inline)]
From: Giacomo Leidi <goodoldpaul <at> autistici.org>
To: guix-patches <at> gnu.org
Cc: Giacomo Leidi <goodoldpaul <at> autistici.org>
Subject: [PATCH] gnu: gnome-shell-extension-dash-to-panel: Update to 37.
Date: Tue, 16 Jun 2020 21:42:59 +0200
* 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(-)

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



[Message part 3 (message/rfc822, inline)]
From: Nicolas Goaziou <mail <at> nicolasgoaziou.fr>
To: Giacomo Leidi <goodoldpaul <at> autistici.org>
Cc: 41899-done <at> debbugs.gnu.org
Subject: Re: [bug#41899] [PATCH] gnu: gnome-shell-extension-dash-to-panel:
 Update to 37.
Date: Tue, 16 Jun 2020 23:09:25 +0200
Hello,

Giacomo Leidi <goodoldpaul <at> autistici.org> writes:

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

Applied. Thank you.

Regards,
-- 
Nicolas Goaziou


This bug report was last modified 5 years and 59 days ago.

Previous Next


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