From 9c2d0a1aa8759e315c0960f25ddd002e46e10928 Mon Sep 17 00:00:00 2001
From: Tobias Geerinckx-Rice <me@tobias.gr>
Date: Mon, 11 Sep 2017 22:03:18 +0200
Subject: [PATCH] gnu: gnome-shell-extensions: Update to 3.24.3.
* gnu/packages/gnome.scm (gnome-shell-extensions): Update to 3.24.3.
---
gnu/packages/gnome.scm | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/gnu/packages/gnome.scm b/gnu/packages/gnome.scm
index 5267a4eb873..80e78d3401f 100644
--- a/gnu/packages/gnome.scm
+++ b/gnu/packages/gnome.scm
@@ -6065,7 +6065,7 @@ (define-public gnome-tweak-tool
(define-public gnome-shell-extensions
(package
(name "gnome-shell-extensions")
- (version "3.24.2")
+ (version "3.24.3")
(source (origin
(method url-fetch)
(uri (string-append "mirror://gnome/sources/" name "/"
@@ -6073,7 +6073,7 @@ (define-public gnome-shell-extensions
name "-" version ".tar.xz"))
(sha256
(base32
- "10sg87wml5cmyk90pybnr6r942ba7173sl7yplhj2sfggp0wc74s"))))
+ "0y8anpp9ymp0lxn15w63ra6zxxf8nvbl48xqkvqdjzida73fyz9w"))))
(build-system gnu-build-system)
(arguments
'(#:configure-flags '("--enable-extensions=all")))
--
GitLab