diff options
| author | Charles <charles.b.jackson@protonmail.com> | 2022-04-30 17:07:31 -0500 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2022-05-09 00:07:32 +0200 |
| commit | f374a4a1e5ced620925a9d3237c72ad3dd2af4f2 (patch) | |
| tree | d2a64ffdc6a1a102edab3e7bd788764486457021 | |
| parent | 522c842a1c51ab1bca2448224f24d2ee07de2608 (diff) | |
| download | guix-f374a4a1e5ced620925a9d3237c72ad3dd2af4f2.tar.gz | |
gnu: gnome-shell-extension-burn-my-windows: Update to 15.
* gnu/packages/gnome-xyz.scm (gnome-shell-extension-burn-my-windows): Update to 15. Signed-off-by: Ludovic Courtès <ludo@gnu.org>
| -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 fb071cb89b..facf43c0fe 100644 --- a/gnu/packages/gnome-xyz.scm +++ b/gnu/packages/gnome-xyz.scm @@ -825,7 +825,7 @@ position when the mouse is moved rapidly.") (define-public gnome-shell-extension-burn-my-windows (package (name "gnome-shell-extension-burn-my-windows") - (version "7") + (version "15") (source (origin (method git-fetch) @@ -834,7 +834,7 @@ position when the mouse is moved rapidly.") (commit (string-append "v" version)))) (sha256 (base32 - "1513kh6dfvnaj5jq2mm7rv1k54v91hjckgim1dpqlxwnv4gi9krd")) + "1gabnqdk11n6345jzv9sc4yjmfrdgg0lsz6zc29gc5afzgirkhm5")) (file-name (git-file-name name version)))) (build-system copy-build-system) (arguments |