Subject: bug#63521: closed (Re: [bug#63521] Request for merging "tex-team" branch)

From: [email-masked] (GNU bug Tracking System)
Date: Sun, 11 Jun 2023 16:19:01 +0000

Your bug report

#63521: Request for merging "tex-team" branch

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].

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

Subject: Re: [bug#63521] Request for merging "tex-team" branch
From: Nicolas Goaziou <[email-masked]>
To: Christopher Baines <[email-masked]>
Cc: [email-masked]
Date: Sun, 11 Jun 2023 18:18:04 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Hello,

Christopher Baines <[email-masked]> writes:

> I think tex-team is good to merge.

I concur. Merged. Thank you.

Regards,
-- 
Nicolas Goaziou

Subject: Request for merging "tex-team" branch
From: Nicolas Goaziou <[email-masked]>
To: [email-masked]
Date: Mon, 15 May 2023 17:48:05 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Hello,

I'd like the current "tex-team" to be merged into master.

AFAIK, there are no blockers yet.

Regards,
-- 
Nicolas Goaziou