bug#52747: closed ([PATCH] gnu: gnome-commander: Update to 1.12.3.1.)

[GNU bug Tracking System]

Your message dated Thu, 23 Dec 2021 00:01:13 -0500
with message-id <YcQCmU8daZ6px6ff@jasmine.lan>
and subject line Re: [bug#52747] [PATCH] gnu: gnome-commander: Update to 
1.12.3.1.
has caused the debbugs.gnu.org bug report #52747,
regarding [PATCH] gnu: gnome-commander: Update to 1.12.3.1.
to be marked as done.

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


-- 
52747: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=52747
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> [PATCH] gnu: gnome-commander: Update to 1.12.3.1.
>
>
>
>
> Date: 
>
> Thu, 23 Dec 2021 02:16:54 +0000
>
>
>
>
> * gnu/packages/gnome.scm (gnome-commander): Update to 1.12.3.1.
> ---
>  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 47178a9de9..d31143d242 100644
> --- a/gnu/packages/gnome.scm
> +++ b/gnu/packages/gnome.scm
> @@ -1855,7 +1855,7 @@ either on a local, or remote machine via a number of 
> methods.")
>  (define-public gnome-commander
>    (package
>      (name "gnome-commander")
> -    (version "1.12.2")
> +    (version "1.12.3.1")
>      (source
>       (origin
>         (method url-fetch)
> @@ -1863,7 +1863,7 @@ either on a local, or remote machine via a number of 
> methods.")
>                             (version-major+minor version)  "/"
>                             "gnome-commander-" version ".tar.xz"))
>         (sha256
> -        (base32 "0f7l2pkyh3r1qk4hhavl7387l3bq5my3snpdppiavcpnji28dpa5"))))
> +        (base32 "0fhmfxh6kbchggvpbin7d4g4fq5vc49y0w48wdkyxln5dswidss2"))))
>      (build-system glib-or-gtk-build-system)
>      (native-inputs
>       (list desktop-file-utils
>
> base-commit: a296b5fff9f182da7c7b67cc7bdba0957623e650
> -- 
> 2.30.2
>
>
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: [bug#52747] [PATCH] gnu: gnome-commander: Update to 1.12.3.1.
>
>
>
>
> Date: 
>
> Thu, 23 Dec 2021 00:01:13 -0500
>
>
>
>
> On Thu, Dec 23, 2021 at 02:16:54AM +0000, Vinicius Monego wrote:
> > * gnu/packages/gnome.scm (gnome-commander): Update to 1.12.3.1.
>
> Thanks! Pushed as bcbe090fbb84c155fb1ce25d9643062163716c26
>
>
> --- End Message ---