bug#67347: closed ([PATCH gnome-team] gnu: gnome-shell-extensions: Update to 44.0.)

[GNU bug Tracking System]

Your message dated Tue, 09 Jan 2024 12:24:06 +0100
with message-id 
<636ce91a7a6f362999ca973bec266cadc3c15c2c.camel@planete-kraus.eu>
and subject line [PATCH gnome-team] gnu: gnome-shell-extensions: Update to 44.0.
has caused the debbugs.gnu.org bug report #67347,
regarding [PATCH gnome-team] gnu: gnome-shell-extensions: Update to 44.0.
to be marked as done.

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


-- 
67347: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=67347
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> [PATCH gnome-team] gnu: gnome-shell-extensions: Update to 44.0.
>
>
>
>
> Date: 
>
> Tue, 21 Nov 2023 22:41:58 +0100
>
>
>
>
> User-agent: 
>
> Evolution 3.46.4 
>
>
>
>
> * gnu/packages/gnome.scm (gnome-shell-extensions): Update to 44.0.
>
> Change-Id: Id5664a9f86f7a64179975cd9c5cbf7b6521c5844
> ---
>  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 ab485cffb1..2f2aa76b7c 100644
> --- a/gnu/packages/gnome.scm
> +++ b/gnu/packages/gnome.scm
> @@ -10612,7 +10612,7 @@ (define-public gnome-tweaks
>  (define-public gnome-shell-extensions
>    (package
>      (name "gnome-shell-extensions")
> -    (version "42.3")
> +    (version "44.0")
>      (source (origin
>                (method url-fetch)
>                (uri (string-append "mirror://gnome/sources/" name "/"
> @@ -10620,7 +10620,7 @@ (define-public gnome-shell-extensions
>                                    name "-" version ".tar.xz"))
>                (sha256
>                 (base32
> -                "1z3k4bvq8f2s0q9q7i093w4hrz289lci7xlib20aqa4z5sivxhhf"))))
> +                "1aq1n75m1svsv0ppg66n9qch26rhjxcv3q33a3skf7hsydr5wd4c"))))
>      (build-system meson-build-system)
>      (arguments
>       '(#:configure-flags '("-Dextension_set=all")))
>
> base-commit: 1cc3b7e80f60a2a5a6a1400ed0b025efeae7a523
> -- 
> 2.41.0
>
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> Subject: 
>
> [PATCH gnome-team] gnu: gnome-shell-extensions: Update to 44.0.
>
>
>
>
> Date: 
>
> Tue, 09 Jan 2024 12:24:06 +0100
>
>
>
>
> User-agent: 
>
> Evolution 3.48.4 
>
>
>
>
> Wonderful, this has been merged.
>
> Thank you!
>
> Vivien
>
>
> --- End Message ---