Subject: Re: bug#39532: [PATCH] gnu: Add font-jetbrains-mono
From: Ludovic Courtès <[email-masked]>
To: Damien Cassou <[email-masked]>
Cc: [email-masked]
Date: Mon, 10 Feb 2020 23:10:00 +0100
List-Id: <debbugs-submit.debbugs.gnu.org>

Hi Damien,

Damien Cassou <[email-masked]> skribis:

>>From 205001bb8f6d907a8dd820e0f1ba8c3f7fe50d4a Mon Sep 17 00:00:00 2001
> From: Damien Cassou <[email-masked]>
> 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’.