[bug#33080] [PATCH] gnu: Add inferno.

[Ludovic Courtès]

Hi Diego,

Diego Nicola Barbato <address@hidden> skribis:

> address@hidden (Ludovic Courtès) writes:
>
>> Hi Diego,
>>
>> Sorry for the late reply.
>>
>> Diego Nicola Barbato <address@hidden> skribis:
>>
>>> This patch adds inferno as discussed here:
>>> https://lists.gnu.org/archive/html/guix-devel/2018-10/msg00031.html
>>
>> In that thread we discussed the font issue, and I’m unsure if it was
>> resolved:
>>
>>   <https://lists.gnu.org/archive/html/guix-devel/2018-10/msg00265.html>
>>
>> Is everything “known good” with this version of the patch?
>
> Unfortunately it is not.  As you suggested, I wrote to the
> GNU/Linux-libre mailing list asking for advice on the font issues [1]
> and the licensing issues [2].  The only reply I got so far is not very
> encouraging.  Maybe it is best to put this on hold until I receive more
> information?

Sure, thanks for asking for advice on gnu-linux-libre.

Ludo’.