bug#67351: closed ([PATCH gnome-team] gnu: gnome-user-docs: Update to 44.6.)

[GNU bug Tracking System]

Your message dated Tue, 09 Jan 2024 12:23:22 +0100
with message-id 
<7e88e26a3828419626ad866b907d10c9b6cd6a48.camel@planete-kraus.eu>
and subject line [PATCH gnome-team] gnu: gnome-user-docs: Update to 44.6.
has caused the debbugs.gnu.org bug report #67351,
regarding [PATCH gnome-team] gnu: gnome-user-docs: Update to 44.6.
to be marked as done.

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


-- 
67351: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=67351
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> [PATCH gnome-team] gnu: gnome-user-docs: Update to 44.6.
>
>
>
>
> Date: 
>
> Tue, 21 Nov 2023 23:28:52 +0100
>
>
>
>
> User-agent: 
>
> Evolution 3.46.4 
>
>
>
>
> * gnu/packages/gnome.scm (gnome-user-docs): Update to 44.6.
> [home-page]: Update from redirection.
>
> Change-Id: I8c0989881be2cadac8453dc5d1df6c97857822eb
> ---
>  gnu/packages/gnome.scm | 6 +++---
>  1 file changed, 3 insertions(+), 3 deletions(-)
>
> diff --git a/gnu/packages/gnome.scm b/gnu/packages/gnome.scm
> index ab485cffb1..709601c918 100644
> --- a/gnu/packages/gnome.scm
> +++ b/gnu/packages/gnome.scm
> @@ -1929,7 +1929,7 @@ (define-public gnome-commander
>  (define-public gnome-user-docs
>    (package
>     (name "gnome-user-docs")
> -   (version "42.0")
> +   (version "44.6")
>     (source
>      (origin
>        (method url-fetch)
> @@ -1937,7 +1937,7 @@ (define-public gnome-user-docs
>                            (version-major version)
>                            "/gnome-user-docs-" version ".tar.xz"))
>        (sha256
> -       (base32 "01g9smkk2sj3yrih2wjn6vx9av855n7w6nqf9wpxvfq086h7vcmj"))))
> +       (base32 "0ds2mccrgmb4jgw196jjm7xzlvnir8k80g1v55sd4nn00prc1b9g"))))
>     (build-system gnu-build-system)
>     (native-inputs
>      (list gettext-minimal itstool pkg-config libxml2))
> @@ -1946,7 +1946,7 @@ (define-public gnome-user-docs
>      "The GNOME User Documentation explains how to use the GNOME desktop and its
>  components.  It covers usage and setup of the core GNOME programs by end-users
>  and system administrators.")
> -   (home-page "https://live.gnome.org/DocumentationProject";)
> +   (home-page "https://wiki.gnome.org/DocumentationProject";)
>     (license license:cc-by3.0)))
>  
>  (define-public dia
>
> base-commit: 1cc3b7e80f60a2a5a6a1400ed0b025efeae7a523
> -- 
> 2.41.0
>
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> Subject: 
>
> [PATCH gnome-team] gnu: gnome-user-docs: Update to 44.6.
>
>
>
>
> Date: 
>
> Tue, 09 Jan 2024 12:23:22 +0100
>
>
>
>
> User-agent: 
>
> Evolution 3.48.4 
>
>
>
>
> I see it has been merged, thank you!
>
> Best regards,
>
> Vivien
>
>
> --- End Message ---