bug#60148: closed ([PATCH] gnu: gnome-shell-extension: Update to 20)

[GNU bug Tracking System]

Your message dated Sun, 22 Jan 2023 10:11:41 +0100
with message-id <6a376bf6fd65469219fe34b29cd64a5b0c6b62d1.camel@gmail.com>
and subject line Re: bug#60148: [PATCH] gnu: gnome-shell-extension: Update to 20
has caused the debbugs.gnu.org bug report #60148,
regarding [PATCH] gnu: gnome-shell-extension: Update to 20
to be marked as done.

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


-- 
60148: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=60148
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> [PATCH] gnu: gnome-shell-extension: Update to 20
>
>
>
>
> Date: 
>
> Sat, 17 Dec 2022 05:56:46 +0000
>
>
>
>
> * gnu/packages/gnome-xyz.scm (gnome-shell-extension-radio): Update to 20.
> ---
>  gnu/packages/gnome-xyz.scm | 4 ++--
>  1 file changed, 2 insertions(+), 2 deletions(-)
>
> diff --git a/gnu/packages/gnome-xyz.scm b/gnu/packages/gnome-xyz.scm
> index 8be9c55..2e3dcc1 100644
> --- a/gnu/packages/gnome-xyz.scm
> +++ b/gnu/packages/gnome-xyz.scm
> @@ -1093,17 +1093,17 @@ GNOME Shell, including the top panel, dash and 
> overview.")
>  (define-public gnome-shell-extension-radio
>    (package
>      (name "gnome-shell-extension-radio")
> -    (version "19")
> +    (version "20")
>      (source (origin
>                (method git-fetch)
>                (uri (git-reference
>                      (url
>                       "https://github.com/hslbck/gnome-shell-extension-radio";)
>                      (commit (string-append "v" version))))
>                (file-name (git-file-name name version))
>                (sha256
>                 (base32
> -                "1qsi6c57hxh4jqdw18knm06601lhag6jdbvzg0r79aa9572zy8a0"))))
> +                "01dmziad9g7bs3hr59aaz3mivkc6rqfyb9bz2v202zk22vcr5a2y"))))
>      (build-system copy-build-system)
>      (arguments
>       (list
> --
> libgit2 1.4.3
>
>
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: bug#60148: [PATCH] gnu: gnome-shell-extension: Update to 20
>
>
>
>
> Date: 
>
> Sun, 22 Jan 2023 10:11:41 +0100
>
>
>
>
> User-agent: 
>
> Evolution 3.46.0 
>
>
>
>
> Am Dienstag, dem 17.01.2023 um 20:57 +0100 schrieb Liliana Marie
> Prikler:
> > I'm currently fighting webkit, but I'll try pushing this on Sunday.
> Veni, vidi, pushed after over a month.
>
> Cheers
>
>
> --- End Message ---