diff options
| author | Tobias Geerinckx-Rice <me@tobias.gr> | 2020-08-16 03:43:14 +0200 |
|---|---|---|
| committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2020-08-16 03:49:05 +0200 |
| commit | ee3be810d6f5721dce037c5d71c823335f9a6abb (patch) | |
| tree | 83b1dea4b71788ff568c163c70c31ee2e3972bda /gnu/packages/gnome-xyz.scm | |
| parent | ec6cf66c2808c16d866975607f08303cadab6445 (diff) | |
gnu: gnome-shell-extension-dash-to-panel: Update to 38.
* gnu/packages/gnome-xyz.scm (gnome-shell-extension-dash-to-panel): Update to 38.
Diffstat (limited to 'gnu/packages/gnome-xyz.scm')
| -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 83e0fc785e..75ba0f5636 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 "37") + (version "38") (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 - "0c8p8cmwjh6rpj7jwj1lccpdv5l0bazwywg8hpwgnqy9f4rxmrz3")) + "1kvybb49l1vf0fvh8d0c6xkwnry8m330scamf5x40y63d4i213j1")) (file-name (git-file-name name version)))) (build-system gnu-build-system) (arguments |