Subject: bug#64983: closed (Re: bug#64983: [PATCH 0/3] gnu: highlight: Update to 4.7 and add GUI package.)

From: [email-masked] (GNU bug Tracking System)
Date: Mon, 14 Aug 2023 22:27:02 +0000

Your bug report

#64983: [PATCH 0/3] gnu: highlight: Update to 4.7 and add GUI package.

which was filed against the guix-patches package, has been closed.

The explanation is attached below, along with your original report.
If you require more details, please reply to [email-masked].

-- 
64983: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=64983
GNU Bug Tracking System
Contact [email-masked] with problems

Subject: Re: bug#64983: [PATCH 0/3] gnu: highlight: Update to 4.7 and add GUI package.
From: Ludovic Courtès <[email-masked]>
To: gemmaro <[email-masked]>
Cc: [email-masked]
Date: Tue, 15 Aug 2023 00:26:21 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Hi,

gemmaro <[email-masked]> skribis:

>   gnu: highlight: Update to 4.7.
>   gnu: highlight: Use new package style.
>   gnu: highlight: Add gui output.
>   gnu: highlight: Fix paths for Perl bindings.

I applied the whole series, adding the patch to ‘gnu/local.mk’.

Thanks,
Ludo’.

Subject: [PATCH 0/3] gnu: highlight: Update to 4.7 and add GUI package.
From: gemmaro <[email-masked]>
To: [email-masked]
Cc: gemmaro <[email-masked]>
Date: Tue, 1 Aug 2023 08:43:25 +0900
List-Id: <debbugs-submit.debbugs.gnu.org>

Hello,

This patchset updates highlight to 4.7 and add highlight's graphical user
interface package (as highlight-gui).

Thank you,
gemmaro.

gemmaro (3):
  gnu: highlight: Update to 4.7.
  gnu: highlight: Use new package style.
  gnu: Add highlight-gui.

 gnu/packages/pretty-print.scm | 137 +++++++++++++++++++++++-----------
 1 file changed, 92 insertions(+), 45 deletions(-)

base-commit: 55e89da207b95230e5f2a8176acd9cc9b43971ff
-- 
2.41.0