GNU bug report logs - #39532
[PATCH] gnu: Add font-jetbrains-mono

Previous Next

Package: guix;

Reported by: Damien Cassou <damien <at> cassou.me>

Date: Sun, 9 Feb 2020 19:59:02 UTC

Severity: normal

Tags: patch

Done: Ludovic Courtès <ludo <at> gnu.org>

Bug is archived. No further changes may be made.

To add a comment to this bug, you must first unarchive it, by sending
a message to control AT debbugs.gnu.org, with unarchive 39532 in the body.
You can then email your comments to 39532 AT debbugs.gnu.org in the normal way.

Toggle the display of automated, internal messages from the tracker.

View this report as an mbox folder, status mbox, maintainer mbox

Report forwarded to bug-guix <at> gnu.org:
bug#39532; Package guix. (Sun, 09 Feb 2020 19:59:02 GMT) Full text and rfc822 format available.
Acknowledgement sent to Damien Cassou <damien <at> cassou.me>:
New bug report received and forwarded. Copy sent to bug-guix <at> gnu.org. (Sun, 09 Feb 2020 19:59:02 GMT) Full text and rfc822 format available.

Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):

From: Damien Cassou <damien <at> cassou.me>
To: bug-guix <at> gnu.org
Subject: [PATCH] gnu: Add font-jetbrains-mono
Date: Sun, 09 Feb 2020 20:58:09 +0100

[Message part 1 (text/plain, inline)]
* 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

[0001-gnu-Add-font-jetbrains-mono.patch (text/x-patch, attachment)]
Reply sent to Ludovic Courtès <ludo <at> gnu.org>:
You have taken responsibility. (Mon, 10 Feb 2020 22:11:02 GMT) Full text and rfc822 format available.
Notification sent to Damien Cassou <damien <at> cassou.me>:
bug acknowledged by developer. (Mon, 10 Feb 2020 22:11:02 GMT) Full text and rfc822 format available.

Message #10 received at 39532-done <at> debbugs.gnu.org (full text, mbox):

From: Ludovic Courtès <ludo <at> gnu.org>
To: Damien Cassou <damien <at> cassou.me>
Cc: 39532-done <at> debbugs.gnu.org
Subject: Re: bug#39532: [PATCH] gnu: Add font-jetbrains-mono
Date: Mon, 10 Feb 2020 23:10:00 +0100

Hi Damien,

Damien Cassou <damien <at> cassou.me> skribis:

>>From 205001bb8f6d907a8dd820e0f1ba8c3f7fe50d4a Mon Sep 17 00:00:00 2001
> From: Damien Cassou <damien <at> cassou.me>
> Date: Sun, 9 Feb 2020 20:56:58 +0100
> Subject: [PATCH] gnu: Add font-jetbrains-mono.
>
> * gnu/packages/fonts.scm (font-jetbrains-mono): New variable.

This was pushed as 200514cd8fe1797d7653386a7b1ed1106c61164e.

Thanks,
Ludo’.
bug archived. Request was from Debbugs Internal Request <help-debbugs <at> gnu.org> to internal_control <at> debbugs.gnu.org. (Tue, 10 Mar 2020 11:24:04 GMT) Full text and rfc822 format available.
This bug report was last modified 5 years and 96 days ago.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.