bug#67852: closed ([PATCH gnome-team] gnu: gnome-bluetooth: Update to 42.7.)

[GNU bug Tracking System]

Your message dated Tue, 09 Jan 2024 12:22:47 +0100
with message-id 
<9def4cc9dcb9d1a3662a1762f4e6930a47db126e.camel@planete-kraus.eu>
and subject line [PATCH gnome-team] gnu: gnome-bluetooth: Update to 42.7.
has caused the debbugs.gnu.org bug report #67852,
regarding [PATCH gnome-team] gnu: gnome-bluetooth: Update to 42.7.
to be marked as done.

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


-- 
67852: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=67852
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> [PATCH gnome-team] gnu: gnome-bluetooth: Update to 42.7.
>
>
>
>
> Date: 
>
> Sat, 16 Dec 2023 18:19:35 +0100
>
>
>
>
> User-agent: 
>
> Evolution 3.46.4 
>
>
>
>
> * gnu/packages/gnome.scm (gnome-bluetooth): Update to 42.7.
>
> Change-Id: I09a76fe404ec5a5ff70693e22e4ade321510f423
> ---
>  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 c6437ce450..025dbf4929 100644
> --- a/gnu/packages/gnome.scm
> +++ b/gnu/packages/gnome.scm
> @@ -9014,7 +9014,7 @@ (define-public libgtop
>  (define-public gnome-bluetooth
>    (package
>      (name "gnome-bluetooth")
> -    (version "42.6")
> +    (version "42.7")
>      (source (origin
>                (method url-fetch)
>                (uri (string-append "mirror://gnome/sources/gnome-bluetooth/"
> @@ -9022,7 +9022,7 @@ (define-public gnome-bluetooth
>                                    "gnome-bluetooth-" version ".tar.xz"))
>                (sha256
>                 (base32
> -                "1l2rp8nwsn9mbdj3gv3z4ks0q0jrbavh28mn4vdib1vi3rpzwr2q"))))
> +                "0sgqplr7agyw20m20cx7kv20bamv5cqzbsl8wl2v2fzcvcligpwl"))))
>      (build-system meson-build-system)
>      (native-inputs
>       (list gettext-minimal
>
> base-commit: 4c323c2f8308bba0e3295f3109d159c7b8f72838
> -- 
> 2.41.0
>
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> Subject: 
>
> [PATCH gnome-team] gnu: gnome-bluetooth: Update to 42.7.
>
>
>
>
> Date: 
>
> Tue, 09 Jan 2024 12:22:47 +0100
>
>
>
>
> User-agent: 
>
> Evolution 3.48.4 
>
>
>
>
> You merged it, thank you!
>
> Best regards,
>
> Vivien
>
>
> --- End Message ---