[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

bug#39534: closed ([PATCH] gnu: Add font-jetbrains-mono)

From: GNU bug Tracking System
Subject: bug#39534: closed ([PATCH] gnu: Add font-jetbrains-mono)
Date: Sun, 09 Feb 2020 23:16:02 +0000

Your message dated Mon, 10 Feb 2020 00:15:45 +0100
with message-id <address@hidden>
and subject line Re: [bug#39534] [PATCH] gnu: Add font-jetbrains-mono
has caused the debbugs.gnu.org bug report #39534,
regarding [PATCH] gnu: Add font-jetbrains-mono
to be marked as done.

(If you believe you have received this mail in error, please contact

39534: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=39534
GNU Bug Tracking System
Contact address@hidden with problems
--- Begin Message --- Subject: [PATCH] gnu: Add font-jetbrains-mono Date: Sun, 09 Feb 2020 21:13:16 +0100
* gnu/packages/fonts.scm (font-jetbrains-mono): New variable.

Damien Cassou

"Success is the ability to go from one failure to another without
losing enthusiasm." --Winston Churchill

Attachment: 0001-gnu-Add-font-jetbrains-mono.patch
Description: Text Data

--- End Message ---
--- Begin Message --- Subject: Re: [bug#39534] [PATCH] gnu: Add font-jetbrains-mono Date: Mon, 10 Feb 2020 00:15:45 +0100 User-agent: Gnus/5.13 (Gnus v5.13) Emacs/26.3 (gnu/linux)

Damien Cassou <address@hidden> writes:

> * gnu/packages/fonts.scm (font-jetbrains-mono): New variable.

Applied as 200514cd8fe1797d7653386a7b1ed1106c61164e. Thank you!


Nicolas Goaziou

--- End Message ---

reply via email to

[Prev in Thread] Current Thread [Next in Thread]