bug#53835: closed ([PATCH] gnu: font-jetbrains-mono: Update to 2.242.)

[GNU bug Tracking System]

Your message dated Tue, 8 Feb 2022 12:15:10 +0100
with message-id <20220208121510.6ae5515d@tachikoma.lepiller.eu>
and subject line Re: [bug#53835] [PATCH] gnu: font-jetbrains-mono: Update to 
2.242.
has caused the debbugs.gnu.org bug report #53835,
regarding [PATCH] gnu: font-jetbrains-mono: Update to 2.242.
to be marked as done.

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


-- 
53835: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=53835
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> [PATCH] gnu: font-jetbrains-mono: Update to 2.242.
>
>
>
>
> Date: 
>
> Sun,  6 Feb 2022 21:00:19 -0500
>
>
>
>
> * gnu/packages/fonts.scm (font-jetbrains-mono): Update to 2.242.
> ---
>  gnu/packages/fonts.scm | 4 ++--
>  1 file changed, 2 insertions(+), 2 deletions(-)
>
> diff --git a/gnu/packages/fonts.scm b/gnu/packages/fonts.scm
> index 8afb453970..536892ee0d 100644
> --- a/gnu/packages/fonts.scm
> +++ b/gnu/packages/fonts.scm
> @@ -1995,7 +1995,7 @@ (define-public font-dseg
>  (define-public font-jetbrains-mono
>    (package
>      (name "font-jetbrains-mono")
> -    (version "2.221")
> +    (version "2.242")
>      (source
>       (origin
>         (method url-fetch)
> @@ -2003,7 +2003,7 @@ (define-public font-jetbrains-mono
>          (string-append "https://github.com/JetBrains/JetBrainsMono/releases/";
>                         "download/v" version "/JetBrainsMono-" version ".zip"))
>         (sha256
> -        (base32 "1acrgv2q9vxviirpi01xy67pkkswyssw4dn5pgyvrnjxr85cgjrg"))))
> +        (base32 "17qs985v38x3rcg3v4av3qynwr4gvixrj50vjzy7zkkny575ncaf"))))
>      (build-system font-build-system)
>      (arguments
>       `(#:phases
> -- 
> 2.35.0
>
>
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: [bug#53835] [PATCH] gnu: font-jetbrains-mono: Update to 2.242.
>
>
>
>
> Date: 
>
> Tue, 8 Feb 2022 12:15:10 +0100
>
>
>
>
> Le Sun,  6 Feb 2022 21:00:19 -0500,
> jgart via Guix-patches via <guix-patches@gnu.org> a écrit :
>
> > * gnu/packages/fonts.scm (font-jetbrains-mono): Update to 2.242.
> > ---
> >  gnu/packages/fonts.scm | 4 ++--
> >  1 file changed, 2 insertions(+), 2 deletions(-)
> > 
> > diff --git a/gnu/packages/fonts.scm b/gnu/packages/fonts.scm
> > index 8afb453970..536892ee0d 100644
> > --- a/gnu/packages/fonts.scm
> > +++ b/gnu/packages/fonts.scm
> > @@ -1995,7 +1995,7 @@ (define-public font-dseg
> >  (define-public font-jetbrains-mono
> >    (package
> >      (name "font-jetbrains-mono")
> > -    (version "2.221")
> > +    (version "2.242")
> >      (source
> >       (origin
> >         (method url-fetch)
> > @@ -2003,7 +2003,7 @@ (define-public font-jetbrains-mono
> >          (string-append
> > "https://github.com/JetBrains/JetBrainsMono/releases/"; "download/v"
> > version "/JetBrainsMono-" version ".zip")) (sha256
> > -        (base32
> > "1acrgv2q9vxviirpi01xy67pkkswyssw4dn5pgyvrnjxr85cgjrg"))))
> > +        (base32
> > "17qs985v38x3rcg3v4av3qynwr4gvixrj50vjzy7zkkny575ncaf"))))
> > (build-system font-build-system) (arguments
> >       `(#:phases
>
> Pushed to master as a946d2d2edd4d91f94f1b7c479ba42dafd3d5e59, thanks!
>
>
> --- End Message ---