diff options
| author | Giacomo Leidi <goodoldpaul@autistici.org> | 2020-06-16 21:42:59 +0200 |
|---|---|---|
| committer | Nicolas Goaziou <mail@nicolasgoaziou.fr> | 2020-06-16 23:07:44 +0200 |
| commit | 2eadf0917caa986273eeaaa6e1d17ea26509093c (patch) | |
| tree | 234ae2d550cc1ee9be0dc416ea4f8ec6f94b2c3e /gnu/packages | |
| parent | d26186232ed4c753db73c6a0d2c623d2816e721d (diff) | |
gnu: gnome-shell-extension-dash-to-panel: Update to 37.
* gnu/packages/gnome-xyz.scm (gnome-shell-extension-dash-to-panel): Update to 37.
Diffstat (limited to 'gnu/packages')
| -rw-r--r-- | gnu/packages/gnome-xyz.scm | 4 |
1 files 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 |