[debbugs-tracker] bug#31060: closed ([PATCH] gnu: cool-retro-term: Update to 1.0.1.)

[GNU bug Tracking System]

Your message dated Thu, 12 Apr 2018 22:07:08 -0500
with message-id <address@hidden>
and subject line Re: [bug#31060] [PATCH] gnu: cool-retro-term: Update to 1.0.1.
has caused the debbugs.gnu.org bug report #31060,
regarding [PATCH] gnu: cool-retro-term: Update to 1.0.1.
to be marked as done.

(If you believe you have received this mail in error, please contact
address@hidden)


-- 
31060: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=31060
GNU Bug Tracking System
Contact address@hidden with problems

--- Begin Message --- Subject: [PATCH] gnu: cool-retro-term: Update to 1.0.1. Date: Wed, 4 Apr 2018 08:33:13 -0500

Hello Guix,

This patch updates cool-retro-term to version 1.0.1.

This version added a new font, Knight-TV (GPL).  Rather than adjust the
patch that removes non-free font support, I took the liberty of
implementing a snippet that does the work.  IMHO this is a bit clearer
and more future-proof than the large patch.

`~Eric

0001-gnu-cool-retro-term-Update-to-1.0.1.patch
Description: Text Data

pgp1nJPK5op3h.pgp
Description: OpenPGP digital signature

--- End Message ---

--- Begin Message --- Subject: Re: [bug#31060] [PATCH] gnu: cool-retro-term: Update to 1.0.1. Date: Thu, 12 Apr 2018 22:07:08 -0500

Hello Kei,

Thanks for testing the build!

On Thu, 05 Apr 2018 21:50:55 -0400
Kei Kebreau <address@hidden> wrote:

> Eric Bavier <address@hidden> writes:
> 
> > Hello Guix,
> >
> > This patch updates cool-retro-term to version 1.0.1.
> >
> > This version added a new font, Knight-TV (GPL).  Rather than adjust the
> > patch that removes non-free font support, I took the liberty of
> > implementing a snippet that does the work.  IMHO this is a bit clearer
> > and more future-proof than the large patch.
> >
> > `~Eric  
> 
> Hello Eric,
> 
> This patch lints and builds reproducibly on my machine, and the changes
> look fine. Thanks for your work on the snippet! It is indeed clearer
> than the patch it replaces.

Pushed in 306d8630dc2cb6d802a86630e301d49da04149e8

`~Eric

pgpDcDiPQuBvR.pgp
Description: OpenPGP digital signature

--- End Message ---